PeoplePhD StudentArea of Expertise: Formal MethodsModel Checking and VerificationMajor: Computer ScienceEducation: B.S., Computer Engineering, Iowa State University, 2021ContactEmail: cgjohann@iastate.edu CV: cv.pdfPublications: Google ScholarTags: formal methodsModel Checking and Verification
