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
Publications
Co-Authors
- Ahmed Irfan
- Aleksandar Zeljic
- Alex Aiken
- Alex Ozdemir
- Alexander Robey
- Andrew Tremante
- Anjiang Wei
- Christopher A. Strong
- Christopher Lazarus
- Clark Barrett
- Clark W. Barrett
- Colin Paterson
- Corina Pasareanu
- Corina S. Pasareanu
- David L. Dill
- Derek A. Huang
- Divya Gopinath
- Duligur Ibeling
- Duo Zhou
- Fengjun Yang
- George J. Pappas
- Guy Amir
- Guy Katz
- Hamed Hassani
- Huan Zhang