Registered user since Fri 19 Aug 2022

Name:Ravi Mangal
Country:United States
Affiliation:Carnegie Mellon University
Research interests:Program Verification, Trustworthy Machine Learning

Contributions

POPL 2023 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Show activities from other conferences

Using general profile