Skip to main content
The University of Iowa
University of Iowa
College of Liberal Arts and Sciences

Computer Science

Site Main Navigation

  • About
    • News
    • Events
    • Outreach and Public Engagement
    • Mission Statement
    • History of the Department
    • Contact Us
  • People
    • Faculty
    • Adjunct Faculty
    • Emeritus Faculty
    • Postdoctoral Researchers
    • Staff
    • Graduate Students
    • Departmental Contacts
  • Undergraduate Programs
    • Majors, Minors, and Certificates
      • Bachelor of Arts in Computer Science
      • Bachelor of Arts in Informatics
      • Bachelor of Science in Computer Science
      • Bachelor of Science in Data Science
      • Bachelor of Science in Informatics
      • Bachelor of Science in Engineering - Computer Science and Engineering
      • Minor in Computer Science
      • Minor in Informatics
      • Certificate in Public Digital Arts
    • Combined Bachelors/Masters Programs
      • BA/MCS and BS/MCS U2G Program
      • BSE/MCS U2G Program
      • Grinnell BA/MCS U2G Program
      • Informatics BA/MS and BS/MS U2G Program
    • Honors in Computer Science or Informatics
    • Undergraduate Research and Experimental Learning
    • Courses
      • Advanced Placement Credit Policy
      • Regression
    • Tutoring
    • Advising
    • Awards and Scholarships
    • Careers and Opportunities
  • Graduate Programs
    • Degrees and Certificates
      • Master of Computer Science
      • Master of Science in Informatics
      • Doctor of Philosophy in Computer Science
      • Doctor of Philosophy in Informatics
      • Graduate Certificate in Informatics
    • Combined Bachelors/Masters Programs
      • CS BA/MCS and BS/MCS U2G Program
      • Informatics BA/MS and BS/MS U2G Program
      • BSE/MCS U2G Program
      • Grinnell BA/MCS U2G Program
    • Admissions Process
    • Advising
    • Courses
    • Funding
    • Careers and Opportunities
    • Recent PhDs
  • Research and Creative Work
    • Algorithmic Foundations
    • Artificial Intelligence, Machine Learning, and Pattern Recognition
    • Computer Science Education
    • Formal Methods and Programming Languages
    • Health- and Human-Centric Computing
    • Systems
    • Undergraduate Research and Experimental Learning
    • Research Spotlights
      • University of Iowa spearheads project to set ethical guidelines for youth and XR technology
      • Undergraduate Research Week 2021
      • Undergraduate Research Week 2020
      • Fall Undergraduate Research Festival 2019
      • Fall Undergraduate Research Festival 2018
  • Resources
    • Facilities
    • Speaker's Bureau
    • Student Organizations
    • ExploreU
    • Robot Theater
      • Robot Theater Summer Camp
      • Robot Theater Workshops
    • Internship Debriefs
    • Computing Support
    • Job Postings
  • Alumni
    • Alumni Profiles
    • Recent PhDs
    • CLAS Alumni and Friends
    • UI Alumni and Friends
    • 50th Anniversary | 2015 U of I Computing Conference wrap-up
Garrett Morris portrait

Breadcrumb

  1. Home
  2. News

IowaNow: Prof. Morris awarded $1.2 million to unify how researchers share and reuse proofs

Wednesday, September 3, 2025
University of Iowa, Computer Science, NSF
https://now.uiowa.edu/news/2025/09/ui-professor-awarded-12-million-unify-how-re…
The University of Iowa
University of Iowa

Computer Science

 College of Liberal Arts and Sciences

14 MacLean Hall (MLH)
Iowa City, Iowa 52242-1419

319-335-0713
cs-dept@uiowa.edu

Social Media

  • Instagram
  • LinkedIn
  • Twitter
  • Bluesky

Admin Login

Footer primary

  • Undergraduate Admissions
  • Graduate Admissions
  • Visit Campus
  • Request Info

Footer secondary

  • CLAS Advising
  • Academic Policies
  • MyUI
  • ICON

Footer tertiary

  • Give to Computer Science
  • Alumni
  • People
  • Contact Us
  • © 2025 The University of Iowa
  • Privacy Notice
  • UI Nondiscrimination Statement
  • Accessibility