Elias reflects on her summer with St. Jude's Pediatric Oncology Education (POE) program and provides insight into what she learned from her experience.

Paulsen reflects on her summer with Collins Aerospace and provides insight into how her experience will help her as she prepares to enter the Undergrad-to-Grad program. As an intern, Paulsen was able to see the real-life applications of her work by visiting a NASA research center, where she was able to fly a simulated aircraft!

An exciting and successful faculty recruiting season will have us welcome six new faculty members to our midst in Fall '24: Katherine Kosaian, Erik Krohn, Lucas Silva, Weiran Wang, Muchao Ye, and Tianyu Zhang. In addition, Naimul Hoque will be joining us in Spring '25!

Mingi Lee (MCS alum) has been selected to receive the Computer Science Outstanding Teaching Assistant Award for 2023-24.

A research team led by Professor Cesare Tinelli (PI) and Professors Katherine Kosaian and Garrett Morris (co-PIs) will contribute to the DARPA-funded project PEGISUS: Proof EnGineering and Integration with Satisfiability modUlo theorieS.

Sixth year CS PhD students Hussam Habib and Osama Khalid joined forces to ride the first few days of RAGBRAI LI and share some highlights, insights, and advice for fellow students. Read on for bonus blog posts and more!

The National Science Foundation (NSF) recently awarded UI computer science professor Garrett Morris $77,430 for a three-year research project entitled "Integrating Formal Methods into the Foundational Undergraduate Curriculum". Morris and Alberto Segre will partner with Grinnell College and Iowa State University faculty on this collaborative "Formal Methods in the Field" proposal.

Rishab Nithyanand, assistant professor in the Department of Computer Science, will tackle the enforcement of consumer privacy regulations with the help of a CAREER award from the National Science Foundation (NSF). The award, the NSF’s most prestigious award in support of early-career faculty, includes a five-year grant for $633,023. Nithyanand and his team will develop a variety of computational tools to help enforcement agencies perform large-scale audits to determine if organizations are complying with consumer privacy regulations.

Katherine Kosaian, formerly Cordwell, who received her doctoral degree from the Computer Science Department at Carnegie Mellon University, has been selected as the 2024 recipient of the Bill McCune PhD Award. Her dissertation, Formally Verifying Algorithms for Real Quantifier Elimination, was chosen for its strong theoretical and practical contributions to formally verified quantifier elimination for the first-order logic of real arithmetic. The award was presented at the 12th International Joint Conference on Automated Reasoning (IJCAR 2024).

Professor Juan Pablo Hourcade and co-authors/student advisees Flannery Currin - who recently defended her doctoral thesis, Summer Schmuecker and Delaney Norris recently published “Understanding Adult Stakeholder Perspectives on the Ethics of Extended Reality Technologies with a Focus on Young Children and Children in Rural Areas”. This paper was awarded the Best Full Paper Award and Social Impact Honorable Mention at IDC '24 - the 23rd Annual ACM Interaction Design and Children Conference.