Hello! My name is Abel, and I’m a masters student in Computer Science at the University of Waterloo. I work with Ondřej Lhoták on programming languages (specifically Scala).

I’m interested in compilers, type theory, program analysis, and verification.