Ph.D. Student, Computer Science DepartmentArea of Expertise: Model CheckingFormal MethodsTags: Model Checkingformal methods