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**.

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