Computer Science

Showing 141-150 of 2,209 Results

• Seyun Bang

  Masters Student in Computer Science, admitted Autumn 2023
  

  • Contact Info

    sjoybang@stanford.edu
• 

  Natasha Banga

  Undergraduate, Biology
  Undergraduate, Computer Science
  

  • Contact Info

    bnatasha@stanford.edu
• Amesha Banjara

  Undergraduate, Computer Science
  

  • Contact Info

    Mail Code: 3085

    abanjara@stanford.edu
• Chloe Bao

  Undergraduate, Computer Science
  

  • Contact Info

    chloebao@stanford.edu
• Ari Barbella-Blaha

  Masters Student in Computer Science, admitted Autumn 2022
  

  • Contact Info

    Mail Code: 9025

    aribarb@stanford.edu
• 

  Artur Barbosa Carneiro

  Masters Student in Computer Science, admitted Autumn 2020
  

  • Contact Info

    Mail Code: 9025

    arturbc@stanford.edu
• Eshaan Barkataki

  Undergraduate, Computer Science
  

  • Contact Info

    eshaanb@stanford.edu
• Sophia Amelie Barnes

  Masters Student in Computer Science, admitted Autumn 2023
  

  • Contact Info

    Mail Code: 9025

    sbarnes1@stanford.edu
• Sarah Barragan

  Masters Student in Computer Science, admitted Autumn 2022
  

  • Contact Info

    Mail Code: 3084

    sabarrag@stanford.edu
• 

  Clark Barrett

  Mizuki Asano and Thomas McGrath Professor
  

  Current Research and Scholarly InterestsAutomated reasoning; satisfiability modulo theories (SMT); formal methods;
  formal verification; verification of smart contracts; verification of neural
  networks; AI safety; security; hardware design productivity and verification.

  • Contact Info

    • 389 JANE STANFORD WAY
    • W334
    • Stanford University
    • STANFORD, California 94305

    Mail Code: 9040

    • (650) 736-0822 (office)

    barrettc@stanford.edu