22C:181 - Formal Methods in Software Engineering, Spring 2001


General Info.
Course Homepage
About 22C:181
Contacting Us
Syllabus

Homework & Grades
Grading Policies
Grades
Old Homework Directory
Old Exams

Reference
Q & A
Meeting outlines
Resources
JML

Links
FM Links
Department Homepage
U. of Iowa Homepage

Valid HTML 4.0!
Valid CSS!
 

Course Staff

The instructor for 22C:181, was (then) visiting professor Gary T. Leavens. The TA was Shu Liu. Please do not hesitate to ask either of us questions.

The fastest way to receive an answer to a question is to phone Gary Leavens, or to email both of us.

During the semester, we held weekly office hours at the times listed below, and by appointment. The office hours were scheduled to provide a variety of meeting times. Please let us know if none of these times work for you and we will consider revising the office hours schedule.

If you need to drop off an assignment or a note and we are busy or not in our offices you can leave it in the department office. The office staff there will note the current date and time and put it in Shu Liu's mailbox.

Instructor
Gary T. Leavens
leavens@cs.uiowa.edu
201L MLH
Office Hours: T 11:30AM, T 4PM, Th. 11:30AM, Th. 4PM
Phone: 335-0561
  Teaching Asst.
Shu Liu
sliu@cs.uiowa.edu
101N MLH
Office Hours: MWF 3:30 - 5:00 PM
Phone: 335-2839

Return to top

Last modified Thursday, June 25, 2009.

This web page is for the Spring 2001 offering of 22C:181 at the University of Iowa. The details of this course are subject to change as experience dictates. You will be informed of any changes. Thanks to Curt Clifton for help with an earlier version of these web pages. Please direct any comments or questions to Gary Leavens.