Research Themes
Program Analysis and Verification
Developing static analyses that find bugs and prove their absence, from CHC-based heap reasoning and typestate verification to scalable security and compliance analysis.
Fault Localization and Diagnosis
Using proofs and executions to isolate faulty statements, compress error traces into explanations, and turn solver artifacts into diagnoses developers can act on.
Interactive Reasoning Systems
Designing systems where people, language models, and symbolic analyzers work together to formalize knowledge, identify missing facts, check conclusions, and return understandable evidence.
Recent Publications
Career
Principal Applied Scientist. Formal methods for billing contracts, previously security and AI developer tools.
Computer Scientist. DARPA-funded verification, program similarity, human-in-the-loop analysis.
Research Fellow. GUI testing and formal methods transfer.
Education
Computer Science. Advisor: Prof. Andreas Podelski
Computer Science
Misc
My Erdős number is 3: Pascal Schweitzer → Brendan D. McKay → Paul Erdős.
My academic family tree, including some co-authors, is here.
I'm an ordained minister and marriage officiant in the state of New York.