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.
I’m currently working on a system for tracking nullability in Scala.
I sometimes write little scribbles about things I’m working with.