Haoze Wu (Preferred)
Haoze Wu
Assistant Professor, Amherst College
PhD student, Stanford University
- Joined February 2021
Names
Emails
****@stanford.edu (Confirmed)
, ****@gmail.com (Confirmed)
, ****@amherst.edu (Confirmed)
Personal Links
Education & Career 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
Expertise
Formal Verification
2018 – Present
Neural Network Verification
2018 – Present
Certified Robustness
2018 – Present
Satisfiability Modulo Theories
2018 – Present
Boolean Satisfiability
2015 – Present