Nada Amin will join the Computer Science faculty at the Harvard John A. Paulson School of Engineering and Applied Sciences (SEAS) starting in Fall 2019.

Amin comes to SEAS from the University of Cambridge in the United Kingdom, where she is currently a University Lecturer in Programming Languages. Her research explores new ways to make programming faster, easier and safer.

For safer programming, Amin is interested in systems and formalisms based on types and verification. For faster programming, she is exploring meta-programming techniques, including generative programming and reflection, to collapse levels of interpretations as well as moving between different views of the same program in a way that helps optimizations, understanding, and modifications. For easier programming, Amin’s goal is to enable a greater number of people to manipulate computer programs and processes. Her research combines Machine Learning and Programming Languages to enable the creation of neuro-symbolic systems that can move back and forth between learnable (neural) and interpretable (symbolic) representations of a system.

Amin received her Doctoral degree in Computer, Communication and Information Sciences from the École polytechnique fédérale de Lausanne in Switzerland and her Master of Engineering in Electrical Engineering & Computer Science from MIT.