Scholar
William J. Bowman
Google Scholar ID: Vbnpt_EAAAAJ
University of British Columbia
Citations & Impact
Citations
190
H-index
7
i10-index
6
Publications
20
Co-authors
9
list available
Publications
Resume (English only)
Academic Achievements
- Published 'Fast and Extensible Hybrid Embeddings with Micros' discussing macro embedding's performance issues and proposing micro-embedding as a solution; also published 'Type Universes as Kripke Worlds', which explores mutable references and introduces a new distinction within the design space of references.
Research Experience
- Currently an Assistant Professor in the Software Practices Lab at the University of British Columbia. His recent work focuses on type-preserving compilation of dependently typed programming languages 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.
Background
- An Assistant Professor of computer science in the Software Practices Lab at the University of British Columbia. Broadly interested in making it easier for programmers to communicate their intent to machines, and preserving that intent through compilation. More specifically, his research interests include secure and verified compilation, dependently typed programming, verification, meta-programming, and interoperability.
Miscellany
- Can be reached via wjb@williamjbowman.com; located at ICICS/CS Building Room 389, 2366 Main Mall, Vancouver, BC V6T 1Z4 Canada.
