Regular biography
Nada Amin is an Assistant Professor of Computer Science at Harvard University's John A. Paulson School of Engineering and Applied Sciences. She is affiliated with the Kempner Institute and the Broad Institute, and is also an associate faculty member of the Hugh Kaul Precision Medicine Institute at the University of Alabama at Birmingham. Additionally, she serves as an adjunct faculty member. Her research interests include applied mathematics, artificial intelligence, computer science, programming languages, and artificial intelligence. Amin's work focuses on advancing computational methods and their applications in scientific domains.
Scholar-generated biography
Nada Amin is a researcher at Harvard University with expertise in Programming Languages and Artificial Intelligence. Her work focuses on the design and implementation of programming languages, type systems, and formal verification techniques. She has contributed to the development of type soundness proofs, dependent object types, and tools for software verification. Amin's research also explores the integration of artificial intelligence in biomedical applications, including the use of AI in precision medicine and the creation of universal biomedical data translators. Her publications address challenges in software engineering, such as null pointer errors and the optimization of data structures in high-level programs.