Registered user since Mon 9 Jan 2017
Research interests:Formal Methods, Programming Languages, Parameterized Verification, Parameterized Synthesis.
|SPLASH 2022|| Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track|
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
|Show activities from other conferences|
Using general profile