I am currently a PhD Student at the Department of Computing Science, University of Alberta. My advisor is Karim Ali, who runs the Maple lab.

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.

# Education

- 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.

# Sudent Volunteering

# AEC Volunteering

# Conferences Attended

# Online Conferences Attended

# Summer Schools

- ECOOP and ISSTA Summer School, 2018. (ECOOP ’18)
- Programming Language Implementation Summer School, 2019. (PLISS ’19)

# Non-research Interests

- Logic
- Foundations of Mathematics
- Functional Programming
- Program Verification

# Non-academic Interests

- Sleeping
- Eating