PeoplePh.D. StudentGraduate Research AssistantArea of Expertise: Formal MethodsModel Checking and VerificationEducation: B.S., Computer Engineering, Iowa State University, 2021ContactEmail: cgjohann@iastate.edu+1 815 529 2870Google Scholar CV: cv.pdfTags: formal methodsModel Checking and Verification
