UBC Computer Science Professor Alan Hu Receives NSERC Discovery Accelerator Supplement

UBC Computer Science Professor Alan Hu is one of only 125 recipients nationwide of the 2015 NSERC Discovery Accelerator Supplement (DAS).  

The NSERC Accelerator Supplements Program provides substantial and timely resources to a small group of researchers  whose research proposals suggest and explore high-risk, novel or  potentially transformative concepts and lines of inquiry, and are likely to have impact by contributing to groundbreaking advances. Valued at $120,000 over three years, the awards are given to top-ranked researchers whose programs are highly rated for originality and innovation by their peers.

The DAS award recognizes Alan's research on theoretical and practical techniques for formal verification and supports his proposed focus on verifying the interaction between hardware and software.

Congratulations Alan!