I will teach MAT 015C (Basic College Math) as part of PTI at the Edna Mahan Correctional Facilty this upcoming semester.
A Practical Algorithm for Structure Embeddingwith Zak Kincaid accepted to VMCAI 2019.
I am again organizing the PL Lunch Seminar Series for this upcoming year.
I received my Masters of Arts in Computer Science from Princeton University.
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