Alan J. Hu

Summary

Alan J. Hu is a Professor in the Department of Computer Science at the University of British Columbia (UBC), affiliated with the Faculty of Science. His primary research interests include formal methods, formal verification, model checking, and software/hardware co-design. He leads research in areas such as post-silicon validation, cloud resource scheduling, and concurrency verification. Hu teaches courses like CPSC 513 (Formal Verification) and CPSC 320 (Algorithm Design).

Education & Roles: Ph.D. in Computer Science (Stanford University), current roles include supervision of graduate students (e.g., Malte Schwerin, Stuart Hoad) and leadership in research groups like ICICS and CAIDA.

Research Contributions: Key projects include BackSpace (post-silicon debug framework), MonoSAT (SMT solver), and contributions to formal verification of embedded systems. His work on cloud resource scheduling (e.g., Gridiron, Cospot) addresses network bandwidth guarantees in datacenters.

Awards & Recognition: Recipient of the IEEE Outstanding Service Award, IBM Faculty Award, and UBC CS Teaching Award. His research is supported by industry (Intel, Microsoft) and grants (NSERC, SRC).

Labs & Collaborations: Active in UBC's Institute for Computing, Information and Cognitive Systems (ICICS) and the CAIDA lab for AI-driven decision-making.