CS1502 TA Home

Spring 2014

Welcome to CS1502: Formal Methods in Computer Science!

• This is a supplementary page where you can check the homework submission status.
• The main course web is hosted at courseweb.pitt.edu (login required).

• Homework should be submitted using Grade Grinder and Blackboard.
  • Solutions to the problems indicated with an arrow () are supposed to be submitted using Grade Grinder; that of the problems indicated with a pencil () icon are supposed to be submitted to Blackboard.
  • Please submit all solutions to Grade Grinder at one time and send the report from Grade Grinder to chh91-at-pitt-dot-edu.
  • All homework solutions not graded by Grade Grinder must be submitted to Blackboard as a pdf, doc/docx, or text file.

• Grade Grinder Submission Lookup (updated daily)
• CourseWeb/Blackboard
• Tarski's World Demo (provided by Dr. Novacky)
• Grade Grinder

• Office: 5406 Sennott Square
• Phone: x4-9182
• Email: chh91 at pitt dot edu
• Office Hours: Mondays 1:30-3:00pm