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

• ECOOP, ISSTA, Curry-On 2018
• SPLASH 2019

AEC Volunteering

• PLDI 2021
• SPLASH 2021
• (Upcoming) ECOOP 2022

PC Volunteering

• SCALA 2021

Conferences Attended

• SPLASH 2017
• ECOOP, ISSTA, Curry-On 2018
• ICFP, Strange Loop 2018
• SPLASH 2019
• CASCON 2019

Online Conferences Attended

• PLDI 2020
• SPLASH, ECOOP 2020
• SPLASH 2021

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