School of Engineering

Showing 151-160 of 2,242 Results

• 

  Clark Barrett

  Mizuki Asano and Thomas McGrath Professor
  

  On Partial Leave from 05/18/2026 To 06/30/2026

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

  Masters Student in Computer Science, admitted Autumn 2022
  

  • Contact Info

    Mail Code: 9025

    kjavi@stanford.edu
• 

  Andrew Bartolo

  Ph.D. Student in Computer Science, admitted Autumn 2018
  

  • Contact Info

    Mail Code: 9015

    bartolo@stanford.edu
• Avigya Bahadur Basnet

  Undergraduate, Computer Science
  

  • Contact Info

    Mail Code: 8852

    avigyabb@stanford.edu
• 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
• Nomin Erdene Bayarsaikhan

  Masters Student in Computer Science, admitted Autumn 2022
  Graduate Program Assistant, Domingue Program
  

  • Contact Info

    Mail Code: 9025

    nomin@stanford.edu
• Claire Lillian Beamer

  Masters Student in Computer Science, admitted Autumn 2023
  

  • Contact Info

    Mail Code: 2125

    cbeamer@stanford.edu