Nada Amin is an Associate Professor of Computer Science at Harvard SEAS and Associate Faculty at the Kempner Institute, where she combines programming languages (PL) and artificial intelligence to build intelligent systems that are correct by construction. Before Harvard, she was a University Lecturer in Programming Languages at the University of Cambridge and a member of the Scala team at EPFL, where she completed her PhD. Earlier, she was a software engineer at Google and earned bachelor’s and master’s degrees from MIT. She recently co-founded Midspiral to bring verification to mainstream AI-assisted software development.