Edward Lee

Edward Lee

PhD Student

University of Waterloo

Biography

I am a PhD student in Computer Science at the University of Waterloo. I study programming languages and types, with an eye to adding easy-to-use typing extensions to existing languages to make software safer. In a past life I used to study graph theory; nowadays I occasionally write formal, mechanized proofs for theorems about graphs.

Interests
  • Programming Languages
  • Type Theory and Logic
  • (previously) Graph Theory
Education
  • PhD in Computer Science, In progress

    University of Waterloo

  • MMath in Combinatorics and Optimization, 2017

    University of Waterloo

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

PDF DOI

(2023). Simple Reference Immutability for System F-sub. In OOPSLA 2023.

PDF Cite Slides DOI

(2023). Capturing Types. In TOPLAS.

PDF Cite DOI

(2023). Dependency Free Capture Tracking. In FTfJP 2023.

PDF Cite DOI

(2022). Effects, Capabilities, and Boxes: From Scoped-based Reasoning, to Typed-based Reasoning, and Back. In OOPSLA 2022.

PDF Cite DOI

(2021). Safer Exceptions for Scala. In SCALA 2021.

PDF Cite DOI

(2020). Lift & project systems performing on the partial-vertex-cover polytope. In Volume 820, TCS A.

PDF Cite DOI

(2019). Naji's characterization of circle graphs. In Volume 93, Issue 1, JGT.

PDF Cite DOI

(2017). Circle Graph Obstructions. MMath Thesis.

PDF Cite DOI

Recent & Upcoming Talks

Recognizing Circle Graphs
A simpler proof of Naji’s Theorem.
Circle Graph Obstructions at Graphs@Toronto Metro University
Circle Graph Obstructions

Teaching

 
 
 
 
 
CS 146
Jan 2024 – Apr 2024 Waterloo, ON
Instructor for one section of CS 146, the advanced introduction of Waterloo’s second course in computer science.
 
 
 
 
 
CS 241
Sep 2023 – Dec 2023 Waterloo, ON
Instructor for two sections of CS 241, the regular version of an introductory compilers course at Waterloo.
 
 
 
 
 
CS 246
Sep 2022 – Dec 2022 Waterloo, ON
Instructor for two sections of CS 246, a course on objected oriented software development in C++.
 
 
 
 
 
CS 241
Apr 2022 – Aug 2022 Waterloo, ON
Instructor for one section of CS 241, the regular version of an introductory compilers course at Waterloo.
 
 
 
 
 
CS 241E
Sep 2021 – Dec 2021 Waterloo, ON
Instructor for one section of CS 241E, the enriched version of an introductory compilers course at Waterloo.

Experience

 
 
 
 
 
Software Developer
Kira Systems
Sep 2017 – Dec 2019 Toronto, ON

Contact

  • e45lee@uwaterloo.ca
  • 200 University Ave W., Waterloo, ON N2L 3G1
  • DC 3548, School of Computer Science