PhD Student
Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS)
Parameterized Verification of Timed Networks with Clock Invariants
International Conference on Verification Model Checking and Abstract Interpretation (VMCAI)
Parameterized Verification of Disjunctive Timed Networks.