Dr. Nina Amla is the Acting Senior Advisor for Strategy and Analysis in the Computer and Information Science and Engineering Directorate at the U.S. National Science Foundation.
She is currently a Program Director in the Division of Computing and Communication Foundations and is responsible for several research programs including Designing Accountable Software Systems, Formal Methods in the Field, Secure and Trustworthy Cyberspace and Software and Hardware Foundations.
Dr. Amla’s expertise includes formal methods, cryptography, theory of privacy, and software engineering. Prior to her NSF appointment, she was a senior member of the technical staff at Cadence Design Systems.
Dr. Amla received a B.S in computer engineering from the University of Mysore (India), M.S. in computer science from George Mason University, and Ph.D. in computer science from the University of Texas at Austin.
