Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
William J. Bowman

Registered user since Tue 17 Feb 2015

Name: William J. Bowman

Bio: 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.

Country: Canada

Affiliation: University of British Columbia

Personal website: https://www.williamjbowman.com/

Research interests: secure and verified compilation, type-preserving compilation, dependently typed programming, verification, meta-programming

Contributions

TyDe 2019Committee Member in Program Committee within the TyDe 2019-track
Session Chair of Dependently Typed Programming (part of TyDe 2019)
ICFP 2019Student Research Competition Chair in Program Committee within the Student Research Competition-track
Student Research Competition Chair in Organizing Committee
Student Research Competition Chair in Poster and Presentation Judges within the Student Research Competition-track
Show activities from other conferences

ICFP 2019-profile
View general profile