I am a third 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