View Stanford-only Results

Computer Science

Showing 141-160 of 2,209 Results

Seyun Bang

Masters Student in Computer Science, admitted Autumn 2023
Contact Info

sjoybang@stanford.edu
Natasha Banga

Undergraduate, Biology
Undergraduate, Computer Science
Contact Info

bnatasha@stanford.edu
Amesha Banjara

Undergraduate, Computer Science
Contact Info
Mail Code: 3085

abanjara@stanford.edu
Chloe Bao

Undergraduate, Computer Science
Contact Info

chloebao@stanford.edu
Ari Barbella-Blaha

Masters Student in Computer Science, admitted Autumn 2022
Contact Info
Mail Code: 9025

aribarb@stanford.edu
Artur Barbosa Carneiro

Masters Student in Computer Science, admitted Autumn 2020
Contact Info
Mail Code: 9025

arturbc@stanford.edu
Eshaan Barkataki

Undergraduate, Computer Science
Contact Info

eshaanb@stanford.edu
Sophia Amelie Barnes

Masters Student in Computer Science, admitted Autumn 2023
Contact Info
Mail Code: 9025

sbarnes1@stanford.edu
Sarah Barragan

Masters Student in Computer Science, admitted Autumn 2022
Contact Info
Mail Code: 3084

sabarrag@stanford.edu
Clark Barrett

Mizuki Asano and Thomas McGrath 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.
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
Emma Marie Beharry

Masters Student in Computer Science, admitted Autumn 2023
Contact Info

ebeharry@stanford.edu