My overall area of research is Programming Languages (PL). I’m currently interested in language runtimes that enable programs to resume safely after a power interruption without any data loss.
I have previously worked on the DOT calculus, a calculus which models the type members of the Scala Programming language. I evolved the static and dynamic semantics of DOT to support field mutation using bounded-field typing and later used this to design an object initiailaztion system for DOT.
- 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.
Online Conferences Attended
- ECOOP and ISSTA Summer School, 2018. (ECOOP ’18)
- Programming Language Implementation Summer School, 2019. (PLISS ’19)
- Foundations of Mathematics
- Functional Programming
- Program Verification