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.

Learn more about our undergraduate researchers who took part in this summer's REU program answer some questions about recent research and share valuable insights.

The May 26- August 2, 2025 event brought together undergraduate students from all over the nation. We are proud to have assembled, in Iowa City, the ISU and Uiowa Symposium for REU 2025.

Learn more about the UIowaCS Informatics cohort's experience at the IDC 2025 Iceland conference.

Hankyu Jang graduated with a Ph.D. in computer science from the University of Iowa in 2023. In this Q&A, Jang discusses his current role as a applied scientist at Apple, shares memories from his time at Iowa, and more!

Assistant Professor Lucas Silva has received a 2025 Google Faculty Research Award for his innovative work exploring how families can use technology to support one another’s health and wellbeing.

Sulyun Lee graduated with a Ph.D. in computer science from the University of Iowa in 2022. In this Q&A, Lee discusses her path to her current role as a data scientist at Intermountain Healthcare, shares memories of her time at Iowa, and more!

Santanu Bhowmick graduated with a Ph.D. in computer science from the University of Iowa in 2017. In this Q&A, Bhowmick discusses his current role as a software engineer for Apply maps at Apple, shares memories from his time at Iowa, and more!

Hawkeyes from India (Akash Choudhuri - Ph.D. candidate in computer science), Nigeria, and Thailand reveal their favorite comfort foods.

Learn more about the IOWA-HPC Lab at IPDPS 2025 in Milan, Italy.