Published multiple papers, such as 'Automatically Deriving Control-Flow Graph Generators from Operational Semantics' (ICFP 2022), 'Searching Entangled Program Spaces' (ICFP 2022), 'A Language for Counterfactual Generative Models' (ICML 2021), and more.
Research Experience
Conducted research on advanced programming tools at MIT; led Project Ironfist, a mod for the classic PC game Heroes of Might and Magic II; and reverse-engineered the Voatz voting app with Michael Specter.
Education
Completed a Ph.D. in Programming Languages at MIT under the supervision of Armando Solar-Lezama.
Background
Improving the world’s software quality, focusing on training professional software engineers to write better code and sharing insights on software design through his blog. Research interests include developing advanced programming tools, automatically generating parts of program transformation and synthesis tools, and applying causal inference to program analysis.
Miscellany
Has a side interest in reverse engineering and binary modification; enjoys receiving random emails from strangers about startups, research, and life in general.