Oyendrila Dobe

Registered user since Mon 20 Feb 2023

Name:Oyendrila Dobe

I’m a Ph.D. candidate working in the verification of probabilistic hyperproperties.

Country:United States
Affiliation:Michigan State University
Research interests:Formal Methods, Verification, Hyperproperties


PLDI 2023 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
Show activities from other conferences

Using general profile