William J. Bowman

William J. Bowman is an Assistant Professor in the Department of Computer Science at the University of British Columbia. He focuses on secure and verified compilation, dependently typed programming, and meta-programming systems. His work bridges high-level language design with low-level code generation to maintain correctness and security invariants throughout compilation.

• Education: PhD in Computer Science from Northeastern University

Research spans type-preserving compilation, including:

• Typed closure conversion for dependently typed languages
• Allocation-aware type universes
• Hybrid embedding techniques
• Secure interoperability via multi-language semantics

Recent publications examine:

• Heap allocation modeling through type universes
• Flat closure representations
• WebAssembly extensions with indexed types
• Control-effect semantics