Skip to main content
The University of Iowa
University of Iowa

College of Liberal Arts and Sciences

Site Main Navigation

  • Academics
    • Why CLAS
    • Areas of Study
      • Areas of Study
      • Majors, Minors, and Certificates
      • Degree Definitions
      • How to Choose a Major
    • General Education
      • General Education
      • Categories and Requirements
      • Requirements by Entry Date
      • Policies
    • Academic Excellence
      • Academic Excellence
      • Phi Beta Kappa
    • Forms and Certifications
      • Academic Forms
      • Dean's Certification
    • Academic Policies Handbook
      • Academic Standards
      • Attendance and Absences
      • Credit Hour Requirements and Policies
      • Earning Multiple Undergraduate Degrees
      • General Education Policies
      • Grading System
      • High School Course Requirements
      • Majors, Minors, and Certificates Policies
      • Recognition for Academic Achievement
      • Registration Policies
      • Requirements for a Bachelor's Degree
      • Student Classification
      • Student Rights and Responsibilities
    • Graduate Education
      • Graduate Education
      • Graduate Funding
  • Students
    • Advising
      • Advising
      • Advising in your Major
      • CLAS Advisors by Major
      • CLAS Advisors A-Z
      • Contact
    • Student Support
    • Mental Health and Wellness
    • Experiential Learning
    • Graduation Requirements
    • CLAS Student Ambassadors
    • Dean’s Student Advisory Committee (DSAC)
    • CLAS Undergraduate Newsletter
    • Contact CLAS UP
  • Scholarships
    • Scholarship Opportunities
      • Entering First-Time, First-Year Students
      • Currently Enrolled Students
    • Process and Deadlines
    • Scholarship Recipients
  • Research
    • Faculty Research
      • Arts and Humanities
      • Natural, Mathematical, and Social Sciences
    • Research Assets
    • Funding Opportunities
      • Grant Support Office
      • Undergraduate Funding
      • Graduate Funding
    • Research Resource Newsletter
  • About
    • Academic Units
    • Leadership
      • Leadership Team
      • Shared Governance
      • Dean's Advisory Council
    • News
      • All News
      • Research News
      • Student News
    • Events
    • Facilities
    • History
    • Strategic Plan
    • Outreach and Engagement
    • Alumni and Friends
      • Alumni and Friends
      • Comprehensive Campaign
      • Alumni Fellows
  • Contact
    • Undergraduate Programs
    • CLAS Advising

Breadcrumb

  1. Home
  2. News

CLAS Computer Science professor awarded $1.2 million to unify how researchers share and reuse proofs

Saturday, October 11, 2025
Iowa Now
https://now.uiowa.edu/news/2025/09/ui-professor-awarded-12-million-unify-how-re…
The University of Iowa
University of Iowa

College of Liberal Arts and Sciences

CLAS Undergraduate Programs 
120 Schaeffer Hall
Iowa City, IA 52242-1409

319-335-2633
clas-undergrad@uiowa.edu

Social Media

  • Facebook
  • Twitter
  • Instagram
  • LinkedIn
  • YouTube

Admin Login

Footer secondary

  • Dean's Office Administration
  • CLAS Resource Site

Footer tertiary

  • Give to CLAS
  • © 2025 The University of Iowa
  • Privacy Notice
  • UI Nondiscrimination Statement
  • Accessibility