School of Engineering

Showing 121-130 of 2,319 Results

• 

  Artur Barbosa Carneiro

  Undergraduate, Computer Science
  

  • Contact Info

    Mail Code: 2019

    arturbc@stanford.edu
• Sarah Barragan

  Undergraduate, Computer Science
  

  • Contact Info

    Mail Code: 3084

    sabarrag@stanford.edu
• Esteban Jose Barrero-Hernandez

  Masters Student in Computer Science, admitted Autumn 2021
  
• 

  Clark Barrett

  Professor (Research) of Computer Science
  

  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

    • Department of Computer Science
    • Gates 488
    • 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
  Other Tech - UG, Computer Science
  

  • Contact Info

    Mail Code: 4035

    kjavi@stanford.edu
• Abranette F Barry

  Undergraduate, Computer Science
  

  • Contact Info

    Mail Code: 3101

    abarry15@stanford.edu
• Adam John Barry

  Undergraduate, Computer Science
  Undergraduate, Program in International Relations
  

  • Contact Info

    Mail Code: 8540

    adamjb@stanford.edu
• 

  Martijn Bartelds

  Postdoctoral Scholar, Computer Science
  

  • Contact Info

    Mail Code: 2150

    bartelds@stanford.edu

  • Web page:

    https://martijnbartelds.nl
• 

  Andrew Bartolo

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

  • Contact Info

    Mail Code: 9015

    bartolo@stanford.edu
• 

  Kai A Bartolone

  Masters Student in Computer Science, admitted Autumn 2020
  

  • Contact Info

    Mail Code: 9025

    kbartolo@stanford.edu