Regular biography
Mae Milano is an Assistant Professor in the Department of Computer Science at Princeton University. She joined the faculty in 2024. Milano's research focuses on designing new programming languages to solve problems in distributed systems. Her work includes developing tools to safeguard systems built in C while developers migrate them into safer languages. She holds a Ph.D. from Cornell University, awarded in 2020.
Scholar-generated biography
Mae Milano is a researcher at Princeton University with expertise in Distributed Systems, Programming Languages, and Consistency. Her work focuses on developing formal methods and tools for ensuring correctness in distributed and concurrent systems. Milano's research includes the design of programming languages that support geodistributed transactions, state machine replication for cloud services, and verified synthesis of CRDTs. She has contributed to the development of languages like MixT and Gallifrey, which enable mixing consistency models in distributed applications. Her publications explore type systems for concurrency, defunctionalization techniques, and theorem provers for education. Milano's research bridges theoretical foundations with practical implementations in cloud and IoT systems.