Skip to main content
Beginning Tuesday, December 3, users who have enabled Two-Step Login will be required to use Two-Step Login to sign into MyUI

Your search criteria narrowed your results to Computer Science. Below is some additional contact information which may be useful.

Computer Science

College of Liberal Arts and Sciences

Chair Alberto M. Segre
Location 14 MLH (MacLean Hall)
Phone 319-335-0713
Email CS-INFO@list.uiowa.edu
Website https://cs.uiowa.edu/
General Catalog http://catalog.registrar.uiowa.edu/liberal-arts-sciences/computer-science/
2 courses found, displaying all courses.
Course # Title Hours Notes Enrollments
CS:5810:0001 Course Title is
Formal Methods in Software Engineering
Prerequisites: ECE:3330 or CS:2820
Start and end times: 12:30P - 1:45P TTh 118 MLH
Instructors: Cesare Tinelli (Primary Instructor)
3 s.h.
Open
0 of 35 enrolled
CS:5810:0EXW Course Title is
Formal Methods in Software Engineering
Prerequisites: ECE:3330 or CS:2820
Arranged Time World Wide Web
Instructors: Cesare Tinelli (Primary Instructor)
3 s.h.
Restricted for all students.
Delivery Mode: Web
Registration Information:
This online section of the course is intended for Grinnell College students in the joint UI/Grinnell Master's Program.
more
DOE Distance Course (EX*)
Open
0 of 10 enrolled
2 courses found, displaying all courses.