Ana Milanova

Dr. Ana Milanova is a Professor in the Department of Computer Science at Rensselaer Polytechnic Institute, where she has been since 2003. Her research focuses on programming languages, compilers, and software engineering, with emphasis on static program analysis, security, and applications in Android app taint analysis, secure cryptographic protocols, and machine learning library verification.

Research Interests: Her work addresses challenges in secure software development, privacy-preserving techniques, and static analysis methodologies. Recent projects include federated learning frameworks, Python-based static analysis tools, and secure computation protocols. She has contributed to tools like Submitty for automated programming assignment grading and frameworks for secure MapReduce applications.

• Scientific Awards: NSF CAREER Award, Google Faculty Research Award
• Grants: SaTC: CORE grants for secure computation and multi-party optimization

Labs/Teams: Leads research in secure computation, federated learning, and static analysis tool development. Collaborates on open-source platforms for educational grading systems (Submitty).