I am a first year PhD student in computer science at the University of Illinois at Urbana-Champaign, advised by Talia Ringer. Previously, I was an undergraduate at Cornell University, where I worked under Dexter Kozen and Pedro H. Azevedo de Amorim on differentiable programming semantics, the latter of whom created this website template.
At the moment, I am primarily interested in programming languages, formal verification, and logics. More specifically, I'm interested in Program Equivalence, Proof Transformations, Category Theory, Type Theory, and Programming Language Semantics.
Email: Lam30@illinois.edu