Alan Hu, University of British Columbia

Research

Read how they describe their research on their University of British Columbia profile.

Formal Methods

Latest funding

Automated Formal Verification for Domain-Specific Hardware Acceleration
NSERC · 2020 · Principal investigator
$174,000
Automated Formal Verification at the Hardware/Software Boundary
NSERC · 2015 · Principal investigator
$120,000
Automated Formal Verification at the Hardware/Software Boundary
NSERC · 2015 · Principal investigator
$215,000

All 12 grants and awards

No publications available.

Automated Formal Verification for Domain-Specific Hardware Acceleration

Principal investigatorNSERC2020Discovery Grants Program - Individual

Principal investigators: Hu, Alan

Keywords: automated formal verification; hardware verification; software verification; model checking; abstraction; domain-specific hardware

$174,000

Automated Formal Verification at the Hardware/Software Boundary

Principal investigatorNSERC2015Discovery Grants Program - Accelerator Supplements

Principal investigators: Hu, Alan

$120,000

Automated Formal Verification at the Hardware/Software Boundary

Principal investigatorNSERC2015Discovery Grants Program - Individual

Principal investigators: Hu, Alan

$215,000

Shared-memory multiprocessor for parallel algorithms and architectures

Co-investigatorNSERC2011Research Tools and Instruments - Category 1 (<$150,000)

Principal investigators: Lemieux, Guy

$86,500

Extending the success of formal hardware verification to system software

Principal investigatorNSERC2010Discovery Grants Program - Individual

Principal investigators: Hu, Alan

$170,000

MPrime Network (formerly MITACS) / Réseau MPrime (autrefois MITACS)

Co-investigatorNSERC2009Networks of Centres of Excellence

Principal investigators: Gupta, Arvind

$12,553,000

Formal verification of analog circuits and active inductors for deep-submicron design

Co-investigatorNSERC2007Collaborative Research and Development Grants

Principal investigators: Greenstreet, Mark

$174,117

Large memory computer servers for formal verifcations research

Principal investigatorNSERC2005Research Tools and Instruments - Category 1 (<$150,000)

Principal investigators: Hu, Alan

$31,845

Automatic formal verification of hardware-like software

Principal investigatorNSERC2005Discovery Grants Program - Individual

Principal investigators: Hu, Alan

$190,000

Mathematics of Information Technology and Complex Systems/Les mathématiques des technologies de l'information et des systèmes complexes

Co-investigatorNSERC2005Networks of Centres of Excellence

Principal investigators: Gupta, Arvind

$17,419,000

From CIHR, NSERC and SSHRC funding decisions: CIHR since 2008, NSERC since 1991 and SSHRC since 1998, including their latest published competition results.

Write to this professor

A short, specific email works best. This draft uses one of their recent papers; replace the parts in brackets with your own details before sending.

Applying for

Mention their NSERC grant from 2020

Subject: Prospective PhD student: Formal Methods Dear Professor Hu, My name is [your name], and I am a [your current degree or role] at [your institution]. I am applying for a PhD position starting in [term and year]. Your research on formal methods connects closely to my own work on [your research topic]. [One or two sentences on what you did and what you learned.] I also saw your NSERC-funded project "Automated Formal Verification for Domain-Specific Hardware Acceleration" (2020), and I would be glad to contribute to work in that direction. Are you accepting new PhD students for [term and year]? I have attached my CV and transcripts, and I would be glad to talk at a time that suits you. Thank you for your time. Kind regards, [your name]