Alcatel-Lucent Professor of Computer Science at Stanford and Computer Science Division Director at SLAC, researching programming languages; FLI grantee for verifying mathematical properties of AI systems.
Show detailsHide details
Received $101k from 1 funder
Checked 27 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 $101k, newest first.
2015 1 grant · $101k
| Date | Funder | Amount | Purpose |
|---|---|---|---|
| 2015 | Future of Life Institute | $101k | Verifying Deep Mathematical Properties of AI Systems — Stanford University — 2015 AI Safety Grants source |