Ana Milanova

Associate Professor
Department of Computer Science
Rensselaer Polytechnic Institute
110 8th Street, Troy, NY 12180-3590
Office: Lally Hall 314
Phone: (518) 276-6887, Fax: (518) 276-4033
Email: milanova AT cs DOT rpi DOT edu


Research:

1. General area: programming languages, software engineering, and compilers.
2. Current research interests: Program analysis and its applications to security, specifically (1) program analysis and compilation for multi-party computation (MPC), and (2) computation outsourcing and computation over encrypted data.
3. Current research interests: Program analysis for dynamic languages with applications to the specification and verification of machine learning libraries.
4. Current research interests: Practical type systems and type-based program analysis, specifically reference immutability and taint analysis.

I am currently looking for students interested in research at the intersection of compilers and cryptography. If you are interested in this area, or just generally interested in compilers and programming languages, drop me an email.

Publications


Teaching:

Spring 2021: CSCI 4450 & CSCI 6450 Program Analysis


My Current and Former Students:

Ingkarat Rak-amnouykit, PhD student
Lindsey Kennard, PhD student
Yao Dong, PhD 2017, now at Signifyd
Alex Giris, MS 2017
Ben Kaiser, MS 2015, now at Lincoln Labs
Wei Huang, PhD 2014, now at Google
Yin Liu, PhD 2010, was at Symantec Research, now at Google
Ben Levinn, MS 2009
Orri Eirikson, MS 2006
Shyam Sunder, MS 2004
James Lewis, MS 2004