Professors Kosaian, Morris, and Tinelli, with support from administrative staff, will be hosting an NSF "Formal Methods in the Field" PI Meeting Nov. 12 & 13. Tinelli is a past Principal Investigator (PI) within that program.

The Department of Computer Science at the University of Iowa is thrilled to announce 2024 Emeriti-Faculty Scholars Peng Jiang and Rishab Nithyanand as well as Emeriti-Faculty Educator Elizabeth Kleiman.

As the 2024-25 academic year started at Iowa, the ranks of our graduate programs welcomed: - 21 MCS and 9 PhD students (Computer Science) - 8 deferred admission to Spring or Fall 2025 - 9 MS and 3 PhD students (Informatics - IGPI)

Douglas Jones and Hal Berghel (U. Nevada) assess the integrity of the election infrastructure in the United States and compare the status with earlier assessments.

The University of Iowa Department of Computer Science recognizes this academic year’s scholarship recipients: Joseph Barkmeier and Ann Tice Computer Science Scholarship - Lawrence Deng; Arthur A. Collins Scholarship - Adeola Dokun, Molly Riepe; Frank A. Park Scholarship - Zach Mulholland; Principal Scholars Award - Eric Lucas; Lawrence E. Sheets and Susan J. Sheets Graduate Fellowship - Brenden Latham; David Sprang Award - Liao Zhu; Jason and Leslie Weber Women in Computer Science Scholarship - Elizabeth Elias; Jason and Leslie Weber Emerging Technologies Scholarship Fund - Anaïs Ponsonnet, Randy Zhang; Gerard P. Weeg Scholarship - Aricin Gilrain

Elias reflects on her summer with St. Jude's Pediatric Oncology Education (POE) program and provides insight into what she learned from her experience.

Paulsen reflects on her summer with Collins Aerospace and provides insight into how her experience will help her as she prepares to enter the Undergrad-to-Grad program. As an intern, Paulsen was able to see the real-life applications of her work by visiting a NASA research center, where she was able to fly a simulated aircraft!

An exciting and successful faculty recruiting season will have us welcome six new faculty members to our midst in Fall '24: Katherine Kosaian, Erik Krohn, Lucas Silva, Weiran Wang, Muchao Ye, and Tianyu Zhang. In addition, Naimul Hoque will be joining us in Spring '25!

Mingi Lee (MCS alum) has been selected to receive the Computer Science Outstanding Teaching Assistant Award for 2023-24.

A research team led by Professor Cesare Tinelli (PI) and Professors Katherine Kosaian and Garrett Morris (co-PIs) will contribute to the DARPA-funded project PEGISUS: Proof EnGineering and Integration with Satisfiability modUlo theorieS.