Registered user since Mon 20 Feb 2023
I’m a Ph.D. candidate working in the verification of probabilistic hyperproperties.
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