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)

Education & Career History

Assistant Professor
Amherst College (amherst.edu)
2024Present
 
PhD student
Stanford University (stanford.edu)
20182024
 
Undergrad student
Davidson College (davidson.edu)
20142018
 

Advisors, Relations & Conflicts

No relations added

Expertise

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