On March 9, 2017 Professor Jones presented at an Iowa City Foreign Relations Council's luncheon. You may read the text below or watch or listen to the video "after the break." Click here for "...

New Degree prepares students for the emerging 'Internet of Things' "...

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.