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 2022: CSCI 4450 & CSCI 6450 Program Analysis

Fall 2021: CSCI 4967 & ITWS 4967 Modern Binary Exploitation


Current and Former Students:

PhD: Nathaniel Adair (started 2022), Linh Tran (started 2022), Ingkarat Rak-amnouykit (started 2019), Lindsey Kennard (PhD 2020, now at STR), Yao Dong (PhD 2017, now at Microsoft), Wei Huang (PhD 2014, now at Google), Yin Liu (PhD 2010, now at Google)

Masters: Seth Laurenceau (started 2022), Ben Sherman (started 2021), Andrew Ma (MS 2019), Toshi Piazza (MS 2018), Alex Giris (MS 2017), Branden Clark (MS 2016), Shuran Li (MS 2016), Ben Kaiser (MS 2015), Ben Levinn (MS 2009), Orri Eirikson (MS 2006), Shyam Sunder (MS 2004), James Lewis (MS 2004)

Undergraduate reserchers (recent): Benjamin Levy (started 2021), Mike Yang (started 2021), Dan McCrevan (BS 2020), Collin Jones (BS 2019), Elizabeth Dinella (BS 2018)