Your Twin learns with you

30% off annual Pro20% off monthly Pro

Ends in00h00m00s

William J. Bowman

Has grant

Assistant Professor

The University of British Columbia
Country flagCanada

Research Interests

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Explore related searches

Professors in Canada

About

William J. Bowman is an Assistant Professor at the University of British Columbia, Canada. His research interests include type universes, type-preserving optimizations, and dependent type systems, as reflected in his recent articles. Noteworthy contributions include explorations of A-Normal Form and WebAssembly safety through indexed types. His work aims to bridge theoretical foundations with practical applications in programming languages and type theory.

Recent Grants

Grant: Close

Compilers that Preserve and Enforce Invariants and Proofs

Open Date: 2022-04-01

Close Date: 2023-03-31

Grant: Close

Compilers that Preserve and Enforce Invariants and Proofs

Open Date: 2021-04-01

Close Date: 2022-03-31

Grant: Close

Compilers that Preserve and Enforce Invariants and Proofs

Open Date: 2020-04-01

Close Date: 2021-03-31

Grant: Close

Compilers that Preserve and Enforce Invariants and Proofs

Open Date: 2019-04-01

Close Date: 2020-03-31

Grant: Close

Compilers that Preserve and Enforce Invariants and Proofs

Open Date: 2019-04-01

Close Date: 2020-03-31

Articles (11)

Year:

2026

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2024

Year:

2024

Year:

2024

Year:

2023

Year:

2022

Year:

2020

Collaborators (2)

Amal Ahmed

Professor

Northeastern University

UNITED STATES
View details

Stephen Chang

Assistant Professor

University of Massachusetts Boston

UNITED STATES
View details