Haoze Wu

Stanford University

  • Joined February 2021

Names

Haoze Wu (Preferred)

Emails

****@stanford.edu (Confirmed)

Personal Links

Education & Career History

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