School of Engineering

Showing 131-140 of 1,921 Results

• 

  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
  
• Yujina Basnet

  Masters Student in Computer Science, admitted Autumn 2023
  
• John Bauer

  Research Engineer, Institute for Human-Centered Artificial Intelligence (HAI)
  Affiliate, Computer Science
  
• Joachim Baumann

  Postdoctoral Scholar, Computer Science
  

  • Contact Info

    joabau@stanford.edu
• Amrit Singh Baveja

  Undergraduate, Computer Science
  

  • Contact Info

    abaveja@stanford.edu