Professor Cesare Tinelli and long-time Stanford collaborator and Principal Investigator Clark Barrett were recently awarded a $1.5 million grant from the National Science Foundation for their project entitled POSE: Phase II: An Open-Source Ecosystem for the cvc5 SMT Solver.

Congrats to all University of Iowa Dare to Discover '24 campaign rising stars! Special shout out to our own Computer Science students Hannah Bäck (Data Science BS), Liz Elias (CS BA | Microbiology BS), and Charles Wilmot II (CS & Engineering BSE).

Jeff Hajewski graduated with a Ph.D. in computer science from the University of Iowa in 2020. In this Q&A, Hajewski discusses what he’s been up to since graduating and advice for current students.