I’m a research assistant in the Computer Science department at Columbia University working under Ronghui Gu and Suman Jana. My primary research interests are in the intersection of machine learning and formal verification. Specifically, my focus is in designing machine learning techniques for automating deductive program verification in hopes of scaling the benefits of formal methods to large scale software systems.