Haoze Wu

Assistant Professor, Amherst College

PhD student, Stanford University

  • Joined February 2021

Names

Haoze Wu (Preferred)

Emails

****@stanford.edu (Confirmed)
,
****@gmail.com (Confirmed)
,
****@amherst.edu (Confirmed)

Personal Links

Career & Education History

Assistant Professor
Amherst College (amherst.edu)
2024 – Present
 
PhD student
Stanford University (stanford.edu)
2018 – 2024
 
Undergrad student
Davidson College (davidson.edu)
2014 – 2018
 

Advisors, Relations & Conflicts

No relations added

Expertise

Formal Verification
2018 – Present
 
Neural Network Verification
2018 – Present
 
Certified Robustness
2018 – Present
 
Satisfiability Modulo Theories
2018 – Present
 
Boolean Satisfiability
2015 – Present