“The Analytical Engine weaves algebraic patterns, just as the Jacquard loom weaves flowers and leaves.” ―
News and Announcements
IowaNow: Prof. Morris awarded $1.2 million to unify how researchers share and reuse proofs
Wednesday, September 3, 2025
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.
2025 REU Researcher Experiences
Monday, August 25, 2025
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.
2025 REU Program Wrap-up
Monday, August 25, 2025
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.
Spotlight
26
Full-Time Faculty
in the Department
1030
Students taught in introductory courses per year (2015-2020)
158
Women declared majors in the four undergraduate programs (2023-2024)
136
Graduate students in Computer Science and Informatics