PhD Student
Computer Aided Verification (CAV)
Formal methods in system design Automatic WSTS-based repair and deadlock detection of parameterized systems
Formal Methods (FM)
Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata
International Symposium on Automated Technology for Verification and Analysis (ATVA)
Automated Technology for Verification and Analysis