Biography
I am a PhD student in Computer Science at the University of Waterloo, and will soon be joining the teaching stream faculty at the University of Toronto at Scarborough. My research area is in programming languages and types, with an eye to adding easy-to-use typing extensions to existing languages to make software safer. I also occasionally write formal, mechanized proofs for theorems about graphs.
Interests
- Programming Languages
- Type Theory and Logic
- CS education
Education
-
PhD in Computer Science, 2025?
University of Waterloo
-
MMath in Combinatorics and Optimization, 2017
University of Waterloo
-
BMath(Hons) in Computer Science and Combinatorics and Optimzation, 2015
University of Waterloo
Recent Publications
Quickly discover relevant content by filtering publications.
(2024).
Qualifying System F-sub.
In OOPSLA 2024.
(2023).
Simple Reference Immutability for System F-sub.
In OOPSLA 2023.
(2023).
Capturing Types.
In TOPLAS.
(2023).
Dependency Free Capture Tracking.
In FTfJP 2023.
(2022).
Effects, Capabilities, and Boxes: From Scoped-based Reasoning, to Typed-based Reasoning, and Back.
In OOPSLA 2022.
(2021).
Safer Exceptions for Scala.
In SCALA 2021.
(2020).
Lift & project systems performing on the partial-vertex-cover polytope.
In Volume 820, TCS A.
(2019).
On Tradeoffs Between Document Signature Methods for A Legal Due Diligence Corpus.
In SIGIR 2019.
(2019).
Naji's characterization of circle graphs.
In Volume 93, Issue 1, JGT.
(2017).
Circle Graph Obstructions.
MMath Thesis.
(2014).
Lift & project systems performing on the partial-vertex-cover polytope (extended abstract).
In FSTTCS 2014.
Teaching
CS 146
Instructor for one section of CS 146, the advanced
introduction of Waterloo’s second course in computer science.
CS 241
Instructor for two sections of CS 241, the regular
version of an introductory compilers course at Waterloo.
CS 246
Instructor for two sections of CS 246, a course
on objected oriented software development in C++.
CS 241
Instructor for one section of CS 241, the regular
version of an introductory compilers course at Waterloo.
CS 241E
Instructor for one section of CS 241E, the enriched
version of an introductory compilers course at Waterloo.
Experience
Software Developer
Kira Systems
Contact
- e45lee@uwaterloo.ca
- 200 University Ave W., Waterloo, ON N2L 3G1
- DC 3548, School of Computer Science