|
Ana Milanova
Associate Professor
|
Research:
My research is in the general area of programming languages, compilers and security. Currently I am working on two projects: (1) compilation and optimization for Multi-Party Computation (MPC) and (2) program analysis for Python with applications to the specification and verification of machine learning libraries.
For more information, see my research statement, Google Scholar or my CV with links to selected publications.
Teaching:
Fall 2024: CSCI 4966 & CSCI 6966 Programming in Haskell
Current and Former Students:
PhD: Yue Zhou (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 (MS 2023), Ben Sherman (MS 2022), 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 (2021 - present), Asher Gottlieb (2022), Mike Yang (2021), Dan McCrevan (BS 2020), Collin Jones (BS 2019), Elizabeth Dinella (BS 2018)