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

July 2022 Our preprint Distribution Theoretic Semantics for Non-Smooth Differentiable Programming is now on the arXiv!

July 2022 Visited Galois!

June 2022 Attended OPLSS!

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
[arXiv]


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

Friends

Alaia Solko-Breslin is a PhD student in computer science at Univeristy of Pennsylvania (it's still unfair she's taller than me)

Sophia Roshal is a PhD student in computer science at Carnegie Mellon University (at least here's one person who's younger and shorter than me)

Jane Du, Christina Youn, Ryan Wong, and Bakshree Mishra are all PhD students with me here at University of Illinois at Urbana-Champaign

Pedro Amorim is a PhD student in computer science at Cornell University (also a literal wizard who can make onions disappear in curry)

Cameron Ibrahim is a PhD student in computer science at University of Delaware (I promise I'll work on the project soon)

Drew Zagieboylo is a PhD student in computer science at Cornell University (and an excellent lead belayer and climber!)

and many more whom I do not have amusing addendums for at the moment!