Registered user since Fri 7 Jan 2022
Affiliation:University of Toronto
Research interests:Formal methods, model-based testing, program analysis and verification.
|FTSCS 2022||Committee Member in Program Committee within the Formal Techniques for Safety-Critical Systems-track|
|Show activities from other conferences|
Using general profile