Christopher Lam

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.

Office: 2111 Siebel Center for Computer Science
Email: Lam30@illinois.edu
News

August 2021 Started my PhD!

Publications

Preprints and Drafts

Distribution Theoretic Semantics for Non-Smooth Differentiable Programming
Pedro H. Azevedo de Amorim and Christopher Lam

Refereed Publications

Semantics for a Simple Differentiable Language Using Distribution Theory
Christopher Lam
ICFP 2020 (online), SRC. [Talk]

Teaching

Fall 2021 Teaching Assistant for CS 421 : Programming Languages and Compilers

Spring 2021 Teaching Assistant for CS4820 : Introduction to Analysis of Algorithms

Fall 2020 Teaching Assistant for CS4820 : Introduction to Analysis of Algorithms

Spring 2020 Teaching Assistant for CS3110 : Data Structures and Functional Programming

Fall 2019 Teaching Assistant for CS3110 : Data Structures and Functional Programming

Spring 2019 Teaching Assistant for CS1110 : Introduction to Computing Using Python