On this page:
Collapsing Tower of Confusion

Collapsing Tower of Confusion

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.

[github, cv]