![Oyendrila Dobe](https://pldi23.sigplan.org/getProfileImage/oyendriladobe/5b5a578b-1daa-44dd-a236-f12b7c6bc8f3/small.jpg?1711689689000)
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-profile
View general profile
View general profile