Katherine Kosaian is an Assistant Professor in Computer Science at the University of Iowa. Her research interests include formal verification, interactive theorem proving, and ways in which math and computer science intersect.

Erik Krohn is a Professor of Instruction in the Department of Computer Science at the University of Iowa. His primary research interests lie in computational geometry, particularly in art gallery and terrain guarding problems. He is also interested in other algorithmic areas, compilers, and computer science education.

Guanpeng Li is an Assistant Professor in the Department of Computer Science at the University of Iowa. His research interests are in the areas of HPC fault-tolerance and data reduction, safety of autonomous driving, and machine learning dependability.

Mehrdad Moharrami is an Assistant Professor in the Department of Computer Science at the University of Iowa. His research focuses on two key areas: reinforcement learning and Markov Decision Processes (MDPs), as well as the development of computationally efficient algorithms for learning and economic systems modeled as random graphs. His recent work explores Risk-Sensitive Reinforcement Learning and the detection of planted structures in complete weighted random graphs.

J. Garrett Morris is an Assistant Professor in the Department of Computer Science at the University of Iowa. His research focuses on the development of type systems for higher-order functional programming languages, with the twin aims of improving expressiveness and modularity in high-level programming and supporting safe concurrent, low-level, and effectful programming.