Howdy. I’m a student in the math department at UBC, Vancouver in Khanh Dao Duc’s lab.

I’m interested in type theory and compilers, their applications in ML and, separately, ML applications to cryoEM/ET and downstream structural biology. I built and maintain ribosome.xyz.