Alan J. Hu (Preferred)
Alan J. Hu
Emeritus, Computer Science, , University of British Columbia
Joined
August 2025
Names
Emails
****@cs.ubc.ca (Confirmed)
Personal Links
Career & Education History
Emeritus
Computer Science, , University of British Columbia (cs.ubc.ca)
1996 – Present
Advisors, Relations & Conflicts
Expertise
formal verification
1996 – Present
model checking
1996 – Present
sat
1996 – Present
Publications
No publications