PeoplePhD StudentArea of Expertise: Formal MethodsModel Checking and VerificationMajor: Computer ScienceContactEmail: lcdeng@iastate.edu Tags: Computer Science