NASA Formal Methods 2024 (series) / Mae Milano
![Mae Milano](https://conf.researchr.org/getProfileImage/maemilano/e3a5478a-4102-432d-98af-0dbbbc78f3d5/small.jpg?1719000360000)
Registered user since Tue 17 Mar 2015
Name:Mae Milano
Country:United States
Affiliation:Princeton University
Personal website: http://www.languagesforsyste.ms
X (Twitter): https://x.com/mbpmilano
GitHub: https://github.com/mpmilano
Research interests:Programming Languages, Systems
Contributions
NASA Formal Methods 2024-profile
View general profile
View general profile