NASA Formal Methods 2024 (series) / Ravi Mangal
![Ravi Mangal](https://conf.researchr.org/getProfileImage/ravimangal/f42c514c-98fb-4149-8abf-f8f34e6a5388/small.jpg?1719000360000)
Registered user since Mon 4 Dec 2017
Name:Ravi Mangal
Country:United States
Affiliation:Carnegie Mellon University
Personal website: https://www.andrew.cmu.edu/user/rmangal/
Research interests:Program Verification, Trustworthy Machine Learning
Contributions
NASA Formal Methods 2024-profile
View general profile
View general profile