Ana Milanova

Associate Professor

Ana has been a faculty member at RPI since 2003. She works in programming languages, compilers, and software engineering. Her research centers around static program analysis and its applications in software productivity and security. Recent interests include taint analysis of Android apps, program analysis techniques for compilation into secure cryptographic protocols, and verification of machine learning libraries. Ana is a recipient of the NSF CAREER Award and a Google Faculty Research Award.