Registered user since Mon 20 Feb 2023
Name:Oyendrila Dobe
Bio:
I’m a Ph.D. candidate working in the verification of probabilistic hyperproperties.
Country:United States
Affiliation:Michigan State University
Personal website:https://oyendrila-dobe.github.io/
Research interests:Formal Methods, Verification, Hyperproperties
Contributions
| PLDI 2023 | Committee Member in Artifact Evaluation Committee within the Research Artifacts-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile