“I combine programming languages (PL) and artificial intelligence (AI), including large language models (LLMs), to create intelligent systems that are correct by construction.”In their own words: namin.seas.harvard.edu
Associate Professor of Computer Science at Harvard SEAS combining programming languages and LLMs for verified, correct-by-construction code and proof synthesis.
Show detailsHide details
Received $663k from 2 funders
’25
’26
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
- Coefficient Giving$653k
- Manifund$10k
All grants
2 grants totalling $663k, newest first.
2026 1 grant · $10k
2025 1 grant · $653k
| Date | Funder | Amount | Purpose |
|---|---|---|---|
| Nov 2025 | Coefficient Giving | $653k | LLM Techniques for Generating and Verifying Code (Nada Amin) source |