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.


Sudent Volunteering

AEC Volunteering

PC Volunteering

Conferences Attended

Online Conferences Attended

Summer Schools

Non-research Interests

Non-academic Interests