I am a Postdoctoral Fellow with Harvard’s Programming Languages and Formal Methods groups and the Basis Research Institute.
I obtained my PhD from the University of Melbourne, where I built neuro‑symbolic techniques that uses graph-based representation for neural networks for program analysis. Earlier, I worked at Cinnamon AI Lab, working on visually rich document information extraction.
I build tools that treat code as both data and logic. I aim to make software development and formal proof more reliable and automated.
At Harvard, I am extending these ideas to proof automation in Lean and discovering drug repurposing candidates. At Basis, I am working on two projects: MARA and R-ADA
VRDSynth: Synthesizing Programs for Visually Rich Information Extraction.
Autumn.cpp: An Autumn Interpreter in Cpp for MARA