Browse School of Engineering | Stanford Profiles

Racquel Hagen

Blume Center Administrator, Civil and Environmental Engineering

Contact Info
- Blume Earthquake Engineering Center
- 439 Panama Mall
- BLDG 540 RM 118
- Stanford, California 94305
Mail Code: 3037
- (650) 723-4150 (office)
(650) 725-9755 (fax)
racquelh@stanford.edu

Nava Haghighi

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

Contact Info
Mail Code: 9025
navaha@stanford.edu

Nahome Gebremariam Hagos

Undergraduate, Computer Science
Program Coordinator, Student Learning Support

Contact Info
Mail Code: 3101
nhagos@stanford.edu

Hai Haham

Postdoctoral Scholar, Civil and Environmental Engineering

Contact Info
Mail Code: 4020
haih@stanford.edu

BioChristopher Hahn is a Visiting Assistant Professor in Computer Science at Stanford University. His research interest lies in the intersection of deep learning and formal methods. He received a Ph.D. (Dr. rer. nat) in Computer Science from Saarland University in 2021, where he was advised by Bernd Finkbeiner. He received a BSc and MSc with distinction in Computer Science from Saarland University. He currently serves as a PC member for IJCAI and ICML. His RV'17, CAV'18, and TACAS'19 papers received an invitation to journal special issues in FMSD, ACTA, and STTT, respectively. His teaching efforts at Saarland University have been awarded the Busy Beaver and BESTE awards.