Haoze Wu

Stanford University

  • Joined February 2021

Names

Haoze Wu (Preferred)

Emails

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

Education & Career History

PhD student
Stanford University (stanford.edu)
2018Present
 
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