CS1502 Formal Methods in Computer Science, Spring 2006

Professor: Jan Wiebe, wiebe at cs dot pitt dot edu, www.cs.pitt.edu/~wiebe
Teaching Assistant: Nick Farnan, nlf4 at cs dot pitt dot edu www.cs.pitt.edu/~nlf4

Links:

Links

Home
Publications
Teaching
Projects
Professional Activities
Students

Affiliated Programs

NLP@Pitt
Department of Computer Science
Intelligent Systems Program

Contact Information Janyce Wiebe

Sennott Square Building, Room 5409
210 S. Bouquet St.
Pittsburgh, PA 15260, U.S.A.
phone: +1 (412) 624-9590
fax: +1 (412) 624-8854
email: my last name at cs dot pitt dot edu

CS1502 Formal Methods in Computer Science, Spring 2009

Professor: Jan Wiebe, wiebe at cs dot pitt dot edu, www.cs.pitt.edu/~wiebe
Teaching Assistant: Nick Farnan, nlf4 at cs dot pitt dot edu www.cs.pitt.edu/~nlf4

Schedule of readings, homeworks, and exams

Lecture Notes

Syllabus

Survey to fill out

Links:

CS1502 Formal Methods in Computer Science, Spring 2009

Professor: Jan Wiebe, wiebe at cs dot pitt dot edu, www.cs.pitt.edu/~wiebe Teaching Assistant: Nick Farnan, nlf4 at cs dot pitt dot edu www.cs.pitt.edu/~nlf4

Schedule of readings, homeworks, and exams

Lecture Notes

Syllabus

Survey to fill out

Links:

Professor: Jan Wiebe, wiebe at cs dot pitt dot edu, www.cs.pitt.edu/~wiebe
Teaching Assistant: Nick Farnan, nlf4 at cs dot pitt dot edu www.cs.pitt.edu/~nlf4