01/18
I passed my General Exams.
01/18
I will be an Assistant in Instruction (AI) for COS 226 - Algorithms and Data Structures.
09/17
I am organizing Princeton's Programming Languages Seminars this year.
08/17
I will be an Assistant in Instruction (AI) for COS 418 - Distributed Systems in the upcoming Fall 2017 semester.
06/17
I'm developing a course on Introduction to Programming / Computational Reasoning for the
Prison Teaching Initiative (PTI) in collaboration
with Gregory Gundersen, Anders Miltner, Pranjit Kalita, and Irene Fan.
05/17
Verified Perceptron Convergence Theorem,
with Gordon Stewart and Patrick Gray, accepted
to MAPL'17:
The First ACM SIGPLAN Workshop on Machine Learning and Programming Languages