Christopher Johannsen (Preferred)
Christopher Johannsen
PhD student, Department of Computer Science, Iowa State University
Joined
November 2025
Names
Emails
****@iastate.edu (Confirmed)
Personal Links
Career & Education History
PhD student
Department of Computer Science, Iowa State University (iastate.edu)
2021 – Present
Undergrad student
Department of Electrical and Computer Engineering, Iowa State University (iastate.edu)
2017 – 2021
Advisors, Relations & Conflicts
Expertise
Formal methods
2021 – Present
Model checking
2021 – Present
Runtime verification
2021 – Present