Academics

Education

• Master of Mathematics (Computer Science, Thesis option), University of Waterloo (2020-)
  • Co-advised by Patrick Lam and Gregor Richards
• Bachelor of Software Engineering, University of Waterloo (2015-2020)

Teaching

• CS241E TA (Fall 2020)
• CS241E Instructional Support Assistant (Fall 2018, part-time)

Research

• Undergraduate RA under Patrick Lam; using static analysis techniques to optimize TrueType font bytecode (Summer 2019)
• Undergraduate RA under Werner Dietl; Bazel and Java 9 support for the Checker Framework (Fall 2016)