Hugh Chou

Lecturer

Research interests: Modal logic, proof assistants. MA, University of Hawaii at Manoa (2021). Joined us in 2018.
Courses

Office	PSB 401