hi, i'm lily bryant.

cs msc @ the university of british columbia


I work on compilation as multi-language semantics with Prof. William J. Bowman at The Software Practices Lab in Vancouver, BC. Previously, I worked type-preserving compilation of dependent types.

My research interests include type-preserving compilation, compiler correctness, dependent type theory, and language semantics. I also enjoy studying logic from a more philosophical perspective.

Previously, I attended the University of Victoria where I received a BSc Hons in Computer Science, graduating with distinction. I completed my honours thesis on Melody, a little language (DSL) for converting text-based piano music to MIDI audio, under Prof. Jason Corless.

email --> labryant [at] cs [dot] ubc [dot] ca

Last updated: 26-08-2021