Browse School of Engineering | Stanford Profiles

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

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

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