My overall area of research is Programming Languages (PL). In particular, I am interested in using type systems to improve the safety of programs. I’m currently finishing up some work on mutation in the DOT calculus with the hope of moving on to more applied PL at my current institution.
- Ph.D. Candidate in Computer Science. University of Alberta, 2018-present.
- Master of Mathematics in Computer Science. University of Waterloo, 2018.
- Bachelor of Mathematics in Pure Mathematics and Computer Science, minor in Economics. University of Waterloo, 2016.
- Superhero movies.