I passed my General Exams.
I will be an Assistant in Instruction (AI) for COS 226 - Algorithms and Data Structures.
I am organizing Princeton's Programming Languages Seminars this year.
I will be an Assistant in Instruction (AI) for COS 418 - Distributed Systems in the upcoming Fall 2017 semester.
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.
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