Assistant professor of computer science at USC; research at the intersection of software engineering and human-computer interaction.
Show detailsHide details
Received $55k from 1 funder
Checked 25 Oct 2026
Money flows
Where their money came from and where it went. Pick years and what to show; hover a box or ribbon for details, click one to focus it, click the background to see everything.
Funded by
All grants
1 grant totalling $55k, newest first.
2026 1 grant · $55k
| Date | Funder | Amount | Purpose |
|---|---|---|---|
| 17 Jul 2026 | Foresight Institute: Funding | ~$55k | Scalable Formally-Verified Code Generation: Self-Improving Defenses Against Vulnerability Propagation in AI The future of science increasingly runs on AI-generated code executed with minimal human oversight, risking the source |