Stanford University

Showing 21-30 of 96 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.
• Unesco Basnet

  Undergraduate, Computer Science
  Undergraduate, Electrical Engineering
  

  • Contact Info

    unesco@stanford.edu
• Yujina Basnet

  Masters Student in Computer Science, admitted Autumn 2023
  
• Joachim Baumann

  Postdoctoral Scholar, Computer Science
  

  • Contact Info

    joabau@stanford.edu
• Amrit Singh Baveja

  Undergraduate, Computer Science
  

  • Contact Info

    abaveja@stanford.edu
• Claire Lillian Beamer

  Masters Student in Computer Science, admitted Autumn 2023
  

  • Contact Info

    Mail Code: 2125

    cbeamer@stanford.edu