William J. Bowman

William J. Bowman is an Assistant Professor in the Department of Computer Science at the University of British Columbia (UBC), within the Faculty of Science. His research focuses on programming languages, compilers, and type systems, particularly in areas like type-preserving compilation, dependently typed languages, and verified software. He is part of the Software Practices Lab and has supervised Master's theses on topics such as Redex-Plus (a metanotation compiler), sized dependent types, and ANF translation for dependently typed systems.

Research Interests include programming languages, software engineering, compilers, type theory, dependent types, and formal verification. His work emphasizes preserving semantic guarantees through compilation and ensuring safety in low-level code. He has contributed to foundational research in dependently typed compilation and practical tools like Wasm-precheck for WebAssembly.

• Publications: Over 20 peer-reviewed articles in venues like POPL, PLDI, and ACM conferences.
• Awards: Distinguished Reviewer Award and teaching recognition as an Incredible Instructor.
• Interdisciplinary Collaboration: Open to collaborations in research grants and bridging theory/practice gaps.

His research also addresses ethical considerations in compilation (e.g., ACM Profits Considered Harmful critique) and explores connections between type universes and memory allocation. He teaches courses such as Compiler Construction (CPSC 411) and advanced topics in programming languages.