flyingrocksquirrel.github.io - Christopher Lam

Example domain paragraphs

Christopher Lam

I am a second 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 Tra

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

Links to flyingrocksquirrel.github.io (3)

dependenttyp.es Talia Ringer
tlringer.github.io Talia Ringer
sophiasr.github.io Sophia Roshal