Haoze Wu (Preferred)
Haoze Wu
Assistant Professor, Computer Science, Amherst College
- Joined February 2021
Names
Emails
****@stanford.edu (Confirmed)
, ****@gmail.com (Confirmed)
, ****@amherst.edu (Confirmed)
Personal Links
Career & Education History
Assistant Professor
Computer Science, 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
Coauthor
Kyle D. Julian
2019 – Present
Coauthor
Ahmed Irfan
2019 – 2020
Coauthor
James Lopez
2019 – 2020
Coworker
Alex Ozdemir
2018 – 2020
Expertise
Formal Verification
2018 – Present
Neural Network Verification
2018 – Present
Certified Robustness
2018 – Present
Satisfiability Modulo Theories
2018 – Present
Boolean Satisfiability
2015 – Present