Nada Amin
Cambridge, MA
Bio
Updated 07/09/26 · Provided by member · VerifiedI combine programming languages (PL) and artificial intelligence (AI), including large language models (LLMs), to create intelligent systems that are correct by construction. My current application domains include program and proof synthesis, and precision medicine. I recently co-founded Midspiral to bring formal verification to mainstream AI-assisted development.
Links
Updated 07/09/26 · Provided by member · Verified- Personal Website
- https://namin.seas.harvard.edu/
Projects
Grants
Updated 07/09/26 · By grantmaking.aiNo grants recorded.