CV

Available here: CV 

Prior Education

I earned my Ph.D. at Brown University working in both the Programming Language Theory (PLT) and Computer Science Education (CSEd) groups, under the supervision of Shriram Krishnamurthi and Kathi Fisler. I studied how students plan out solutions to programming problems, and how we can build out both pedagogy and tools/automation to enhance that planning process. You can read my dissertation to learn more.

I previously completed both my S.B. and M.Eng. in Computer Science at the Massachusetts Institute of Technology (MIT), where I was involved in research spanning program synthesis, formal methods, and software security.  For my master's thesis, I developed a way to preserve Rust's safety guarantees when calling out to libraries written in C++,  to facilitate piecewise migration of large projects. You can read the ACSAC paper to learn more.