Alan Hu

Professor

Office
ICCS
325
Office Phone #
604-822-6667
On Leave July 1, 2023 – June 30, 2024

Academic Information

B.Sc. (Honors), Stanford University (1989); Ph.D., Stanford University (1996); Member of the Research Staff, VLSI CAD Division, Fujitsu Laboratories of America (1995-1996); Assistant Professor, University of British Columbia (1996-2001); Assistant Professor, University of British Columbia (1996-2001); Associate Professor, (2001-2006); Full Professor, (2006-)

Research Areas

formal methods

Interests

My main research interest is developing and applying automated formal verification techniques as a practical debugging tool for designing protocols, computer systems, software, and VLSI chips.

As the marketplace demands more features and higher performance delivered in shorter development times, traditional debugging and validation techniques are not keeping pace. Currently, large chip design projects spend more resources on validation than on design, and major projects in the future will likely require 2-3 validation engineers for each design engineer. Clearly, additional tools are needed to help debug designs.

Formal verification can help meet this need; especially promising are the new generation of automatic verification techniques. Note that my motivation is explicitly economic - find bugs faster and cheaper - rather than the more traditional use of formal verification to certify correctness. As a consequence, my research favors automation over mathematical expressiveness to minimize the labor invested in formal verification.

My research also emphasizes practical verification examples over theoretical results. I am, therefore, always on the lookout for real people working on complicated design projects, especially those involving complex protocols and concurrent processes. Although I have mainly focused on preliminary system-level and protocol-level verification, I'm happy to take a look at anything from gate-level circuits up to rough requirement specifications. Working on real problems drives the research in practical, useful directions, and research progress allows more complicated, interesting designs to be verified.

Courses

2022 Winter
CPSC 320 - Intermediate Algorithm Design and Analysis
CPSC 320 - Intermediate Algorithm Design and Analysis
2021 Winter
CPSC 513 - Introduction to Formal Verification and Analysis
CPSC 320 - Intermediate Algorithm Design and Analysis
2020 Winter
CPSC 513 - Introduction to Formal Verification and Analysis
CPSC 320 - Intermediate Algorithm Design and Analysis
2019 Winter
CPSC 420 - Advanced Algorithms Design and Analysis
CPSC 500 - Fundamentals of Algorithm Design and Analysis
CPSC 320 - Intermediate Algorithm Design and Analysis
2018 Winter
CPSC 513 - Introduction to Formal Verification and Analysis
CPSC 420 - Advanced Algorithms Design and Analysis
2017 Winter
CPSC 420 - Advanced Algorithms Design and Analysis
CPSC 513 - Introduction to Formal Verification and Analysis
2015 Winter
CPSC 221 - Basic Algorithms and Data Structures
CPSC 221 - Basic Algorithms and Data Structures
2014 Winter
CPSC 221 - Basic Algorithms and Data Structures
CPSC 513 - Introduction to Formal Verification and Analysis