People Hugh Chou Lecturer Research interests: Modal logic, proof assistants. MA, University of Hawaii at Manoa (2021). Joined us in 2018. Courses Office PSB 401 Doorcard (login required) (Edit) hchou Spam Prevention @math.hawaii.edu
Hugh Chou Lecturer Research interests: Modal logic, proof assistants. MA, University of Hawaii at Manoa (2021). Joined us in 2018. Courses Office PSB 401 Doorcard (login required) (Edit) hchou Spam Prevention @math.hawaii.edu
Lecturer
