CS1502 TA Home
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.
TA Contact: Charmgil Hong
- Office: 5406 Sennott Square
- Phone: x4-9182
- Email: chh91 at pitt dot edu
- Office Hours: Mondays 1:30-3:00pm