Registered user since Tue 17 Feb 2015
William J. Bowman is an assistant professor of computer science at the University of British Columbia in Vancouver. Broadly speaking, he is interested in making it easier for programmers to communicate their intent to machines, and preserving that intent through the stages of compilation. More specifically, his research interests include secure and verified compilation, dependently typed programming, verification, and meta-programming. His recent work examines type-preserving compilation of dependently typed programming language like Coq, a technique that can enable preserving security and correctness invariants of verified software through compilation and statically enforcing those invariants in the low-level (assembly-like) code generated by compilers.
|WITS 2022||Committee Member in Program Committee within the WITS 2022-track|
|PEPM 2022|| Committee Member in Program Committee within the PEPM 2022-track|
Session Chair of Keynote 2 (part of PEPM 2022)
|Show activities from other conferences|
View general profile