Website · Resume · LinkedIn · Google Scholar · Email
{
"programAnalysis": {
"focus": ["unsafe data flows", "business-rule violations"],
"direction": "Extending static analysis and fuzzing with agents"
},
"agenticSecurity": {
"studying": "How context changes LLM cybersecurity responses",
"exploring": "Task and authorization boundaries in tool-using agents"
}
}CoBrA · PHP analysis
Static analysis for dynamic PHP code, uncovering 54 previously unknown vulnerabilities in 19 web applications.
First author · ICSE 2026 · Paper · Code
FAST · Node.js analysis
Scalable JavaScript analysis through abstract interpretation, uncovering 242 previously unknown vulnerabilities in npm packages.
Second author · IEEE S&P 2023 · Paper · Code
Harvest Claude
A Rust terminal app that visualizes running Claude Code agents as pixel-art characters.
Rust · Terminal UI





