معرفی
Mae Milano is an Assistant Professor in the Department of Computer Science at Princeton University. She joined in 2024 after earning her Ph.D. from Cornell University in 2020. Her research focuses on designing programming languages to address challenges in distributed systems, with particular emphasis on concurrency safety, language interoperability, and formal verification.
Education:
- Ph.D. in Programming Languages and Systems, Cornell University, 2020
Research Interests:
Milano's work bridges programming languages and distributed systems. She develops type systems for safe concurrency (e.g., fearless concurrency), designs languages for distributed state management (e.g., Gallifrey, Hydro), and explores compiler techniques for interoperability between systems. Her projects include:
- Fearless Concurrency – Safe shared-memory programming
- Gallifrey – Language for geographically distributed applications
- Hydro – Cloud-native programming models
Grants & Collaborations:
Milano collaborates with researchers like Alvin Cheung (University of Washington) and Joseph M. Hellerstein (UC Berkeley). Her work has been supported by projects such as the Hydro Framework and the Gallifrey language initiative.
Labs & Teams:
She leads the Princeton Systems Group and collaborates with the Programming Languages Group, fostering interdisciplinary research between PL and distributed systems.
