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.

In November, Yafan Huang, Md Hasanur Rahman, and Zhengyang He traveled to Denver, Colorado to attend SC’23, the International Conference for High Computing Networking, Storage, and Analysis. The three Ph.D. candidates were joined by their advisor, Guanpeng Li. In total, the University of Iowa CS group had three papers accepted to the conference, which were then presented in different sessions throughout the week: 

In a collaboration between the University of Iowa Department of Computer Science and the University of Iowa College of Law, Professor Rishab Nithyanand and Professor Mihailis Diamantis won a $299,994 award from the National Science Foundation to investigate if early and continuous exposure to computing-related laws helps computer science students develop a lawful approach to computing.

After receiving her doctorate in computer science from the University of Iowa in 2018, Yuanyuan Jiang joined California State University – San Marcos (CSUSM) as an assistant professor.

In October, members from the University of Iowa Women in Computing Sciences (WiCS) student org traveled to Lenexa, Kansas to attend the 2023 Minnesota, Iowa, Nebraska, and Kansas Women in Computing conference (MINK WiC)

Computer science professor Octav Chipara is leading an interdisciplinary research project focused on giving patients a more hands on role in their hearing care. He is working with three CLAS faculty members — assistant professor Bijaya Adhikari of computer science, as well as associate professors Inyong Choi and Yu-Hsiang Wu of communication sciences and disorders.

Anna Davis is a 1st year graduate student working toward a master’s in computer science at the University of Iowa and a volleyball player for the Hawkeyes. In this Q&A, Davis discusses her research and the advantages of pursuing both her academic and athletic goals.

Once the estimated $20 million to $25 million project is complete, the Department of Computer Science will move into the building. Several research laboratories from the colleges of Liberal Arts and Sciences and Engineering are currently located in IATL and will remain in the building, though some office assignments may change as space is reallocated.