conf.researchr.org / Oyendrila Dobe
Oyendrila Dobe

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/
GitHub: https://github.com/oyendrila-dobe
Research interests:Formal Methods, Verification, Hyperproperties

Contributions