School of Engineering

Showing 121-140 of 2,451 Results

• Sean Bai

  Masters Student in Computer Science, admitted Autumn 2020
  

  • Contact Info

    seanbai@stanford.edu
• Peter Bailis

  Adjunct Professor, Computer Science
  

  • Contact Info

    pbailis@cs.stanford.edu
• 

  Philip Andrew Baillargeon

  Masters Student in Computer Science, admitted Autumn 2022
  Subject Tutor, Student Learning Support
  

  • Contact Info

    Mail Code: 3101

    pabaill@stanford.edu
• 

  Catherine Elizabeth Stanton Baker

  Masters Student in Computer Science, admitted Autumn 2022
  Student Employee, Computer Science
  

  • Contact Info

    Mail Code: 9035

    kesbaker@stanford.edu
• Katie Lynn Baker

  Undergraduate, Computer Science
  5-Sure On Foot Student Lead, Substance Use Programs, Education & Resources (SUPER)
  

  • Contact Info

    katielb@stanford.edu
• 

  Evan Baldonado

  Masters Student in Computer Science, admitted Autumn 2020
  

  • Contact Info

    Mail Code: 9025
• Jesus Ballesteros

  Summer Sl, Computer Science
  Undergraduate, Computer Science
  

  • Contact Info

    Mail Code: 9035

    jesusb25@stanford.edu
• Rohan Bansal

  Masters Student in Computer Science, admitted Autumn 2022
  

  • Contact Info

    Mail Code: 9030

    robansal@stanford.edu
• Ihor Barakaiev

  Masters Student in Computer Science, admitted Autumn 2021
  

  • Contact Info

    igorb@stanford.edu
• Ari Barbella-Blaha

  Student Employee, Computer Science
  Undergraduate, Linguistics
  

  • Contact Info

    Mail Code: 9035

    aribarb@stanford.edu
• 

  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