Research Scientist Dr. Andrew Reynolds was recently awarded an NSF Grant entitled "Efficient SMT Procedures for Scalable Synthesis in Software Development."...

In their sixth episode, hosts of the "Type Theory Podcast" "speak with Professor Aaron Stump from the University of Iowa.

As part of a podcast series entitled "Engineering Out Loud," Assistant Professor Kyle Rector discussed "...

Effective Fall of 2017, many CS course prerequisites have changed to include a minimum grade requirement of C- or better. For Informatics students: In general, we now require a C- or better in CS:...

Feature may be found on the Hawkeye Hacks blog.

Professors Chowdhury and Shafiq contributed to a 1/29/17 piece on cyber-attacks and safety. Full Daily Iowa article here.

Professor Omar Chowdhury is the Principle Investigator for a grant recently awarded by the NSF. The project, entitled "CRII: SaTC:...

"Bachelor of Science in Engineering with computer science and engineering major approved by Board of Regents in June.

The goal of the 3 year $500,000 (UI share:...