Prof. Alan J. Hu

Prof. Alan J. Hu (Department of Computer Science, University of British Columbia) did his undergrad and grad work at Stanford, getting his PhD in 1996 under the supervision of David Dill. He was one of the original designers of the Murphi verifier, and did his thesis work finding ways to make BDD-based model checking more efficient for Murphi-style (high-level or protocol-level models of entire systems) formal verification. After a brief stint in industry, he has become a professor at the University of British Columbia. His research focus continues to emphasize ways to use formal verification in practical ways on important, real problems.

Email address:

Relevant materials: NA

©2002-2018 U.C. Regents