Stanford University

Showing 121-130 of 1,817 Results

• Amesha Banjara

  Undergraduate, Computer Science
  

  • Contact Info

    Mail Code: 3085

    abanjara@stanford.edu
• Chloe Bao

  Undergraduate, Computer Science
  

  • Contact Info

    chloebao@stanford.edu
• 

  Jeremy Bao

  Affiliate, Program-Bohg, J.
  
• Ari Barbella-Blaha

  Masters Student in Computer Science, admitted Autumn 2022
  

  • Contact Info

    Mail Code: 9025

    aribarb@stanford.edu
• Eshaan Barkataki

  Undergraduate, Computer Science
  

  • Contact Info

    eshaanb@stanford.edu
• Sarah Barragan

  Masters Student in Computer Science, admitted Autumn 2022
  

  • Contact Info

    Mail Code: 3084

    sabarrag@stanford.edu
• 

  Clark Barrett

  Corbel 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.
• Kieran Javier Barrett

  Course Asst-Graduate, Computer Science
  
• Unesco Basnet

  Undergraduate, Computer Science
  Undergraduate, Electrical Engineering
  

  • Contact Info

    unesco@stanford.edu
• Yujina Basnet

  Masters Student in Computer Science, admitted Autumn 2023