Articles from January 2024

Tinelli et al. receive NSF grant to further improve reliability of computer systems

Thursday, January 25, 2024
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.
Dare to Discover website banner

Students Featured in 2024 Dare to Discover Campaign

Tuesday, January 23, 2024
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 portrait

Jeff Hajewski (PhD '20) Alumnus Q&A

Tuesday, January 23, 2024
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.