Learn more about Taylor Olson, our new Fall'25 faculty joining the Department of Computer Science at the University of Iowa.

The University of Iowa Department of Computer Science recognizes this academic year’s scholarship recipients: José Valladolid - Frank A. Scholarship, Eric Lucas - Arthur A. Collins Scholarship, Gabriel Postacchini - Arthur A. Collins Scholarship, Chloe Ladines - Principle Scholars Award Kira Semmens - David Sprang Award, Nguyen Trung - Gerard Weeg Scholarship, Kristin To - Jason & Leslie Weber Scholarship for Women, Ben Kleiman - Jason and Leslie Weber Emerging Technologies Scholarship (UG or G), Aditya Mukundan - Jason and Leslie Weber Emerging Technologies Scholarship (UG or G), Isabelle Paulsen - Barkermeier Trice 2025-26, Willian Pixley - Barkermeier Trice 2025-26, Mitchell Piehl - Sheets Fellowship 2025-26, Jiandong (Arnold) Yu - CS Outstanding TA Award 2024-25, Lawrence Deng - Academic Excellence in the MCS 2024-25.

Learn more about Jiadong (Arnold) Yu receiving the 2024-25 Computer Science Outstanding Teaching Assistant Award.

Learn more about Lawrence Deng receiving the Academic Excellence in the MCS 2024-25 Award.

J. Garrett Morris, assistant professor in the Department of Computer Science, is the lead investigator on the four-year project, the goal of which is to improve how researchers verify complex ideas in mathematics and programming languages. In particular, Morris’ research focuses on creating a framework that makes it easier to understand and computerize the structure of proofs and logical rules used in any other setting.