I am a fourth 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.
In my free time I enjoy climbing rocks, building things out of wood, reading all flavors of novels, and
wandering around the streets barefoot at night.
Email: Lam30@illinois.edu