Andrew S Miner PeopleFacultyAssociate ProfessorArea of Expertise: Model Checking and VerificationPetri Nets