Ana Milanova Professor Department of Computer Science, RPI Email: milanova AT cs DOT rpi DOT edu

Research:

I work on different things, mostly on program analysis and optimizing compilers, most recently on domain-specific languages, analyses and compilers. Current projects include (1) compilers for secure multi-party computation, (2) quantum oracle compilers and (3) program analysis of Python.

My publications are in Google Scholar.

Teaching:

Fall 2025: CSCI 4430 Programming Languages

Spring 2025: CSCI 4450 & CSCI 6450 Program Analysis

Fall 2024: CSCI 4966 & CSCI 6966 Programming in Haskell

Students:

PhD: Sam Sussman-Randall, Linh Tran (PhD 2026, with Stacy Patterson), Ingkarat Rak-amnouykit (PhD 2024), 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: Brandon Fogg (MS Thesis 2025), Jesse Huang (MS 2024), Seth Laurenceau (MS 2023), Ben Sherman (MS Thesis 2022), Andrew Ma (MS 2019), Toshi Piazza (MS Thesis 2018), Alex Giris (MS Thesis 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): Aleksey Kalinovski (2025), Benjamin Levy (2021 to 2023), Asher Gottlieb (2022), Mike Yang (2021), Dan McCrevan (BS 2020), Collin Jones (BS 2019), Elizabeth Dinella (BS 2018)