I am a 4th year PhD student in Computer Science at UMass Amherst, CICS. I work with Yuriy Brun in the Laboratory for Software Engineering Research (LASER). My research is at the intersection of software engineering, programming languages, and machine learning. Specifically, I focus on creating tools to automatically generate proofs of software correctness in Coq. I received a BS in Math and Computer Science from Harvey Mudd College (May 2017).
TacTok: Semantics-Aware Proof Synthesis
Emily First, Yuriy Brun, and Arjun Guha, TacTok: Semantics-Aware Proof Synthesis, Proceedings of the ACM on Programming Languages (PACMPL) Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) issue, vol. 4, November 2020, pp. 231:1–231:31.
doi, github, VM