williamjbowman.com - William J. Bowman | Home

Description: William J. Bowman's home on the web.

phd (841) william (388) ph.d. (245) type-theory (11) meta-theory (2) william j. bowman (1) dr. bowman (1) prof. bowman (1)

Example domain paragraphs

William J. Bowman is an Assistant Professor of computer science in the Software Practices Lab at University of British Columbia. Broadly speaking, he is 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. His recent work examines type-preserving compilation of

As of Nov. 2022, I may admit 1 research MSc or PhD student for Sept. 2023, and do not have internships available. You should not apply if you want to work with me. If I have not updated by Nov. 2023, please feel free to contact me.

In Cyberspace: [email protected]

Links to williamjbowman.com (5)

wonks.github.io plwonks
koronkevi.ch Paulette Koronkevich
secure-compilation.github.io ERC SECOMP - Efficient Formally Secure Compilation to a Tagged Architecture
ionathan.ch About · Jonathan Chan
pkoronkevich.github.io Paulette Koronkevich