Instructor: Kumar Madhukar (madhukar)
Office address: 516, 4th floor, Bharti building

Lecture slot

Mondays and Thursdays, 02:00-03:20 pm

I have received a few requests for changing the slot. If you are interested in this course, I request you to fill this form and indicate your preferred slot(s). If possible, I would like to choose a slot that works for everyone who is interested. Thank you.

Announcements

• The course calendar shown below may change if we decide to change the slot. Please indicate your preferred slot (see the message above in bold font) if you are interested in the course.
  
  
• For your reference, here is a link to the last offering of this course.
  
  
• All announcements will be made here (urgent announcements will also be made on Teams). Please do check this section of this page at least once every day.

Course calendar

Suggested Books and Reference Material

• Logic in Computer Science (Michael Huth and Mark Ryan)
• Model Checking (Edmund Clark, Orna Grumberg, Daniel Kroening, Doron Peled, and Helmut Veith)

Evaluation and Assessment

• Attendance: 75 percent attendance is mandatory. There may be a penalty for lack of attendance, which I will certainly clarify by the first lecture if not earlier.
  
  
• Assignments: 30 marks. We will have 3 assignments of 10 marks each. The deadlines for the assignments will not be extended, but every student will be allowed 5 days of penatly-free extension (for all the assignments combined). Any further delay will cost you 0.5 marks per hour or part thereof.
  
  
• Quizzes: 20 marks. There will be 5 surprize quizzes in the class, of 5 marks each. There cannot be any make-up surprize quizzes, of course, but I will count the best 4 out of the 5 quizzes.
  
  
• Minor/Mid-term exam: 20 marks
  
  
• Major/End-term exam: 30 marks
  
  
• Re-exams: There will not be any re-minor exam. If you miss the minor, your marks will be copied (after scaling appropriately) from the major/re-major. A re-major exam will be held if required, of course.
  
  
• Grading: We will adopt a relative grading scheme.
  
  
• Pass: 30 marks or more.
  
  
• Audit: For an audit-pass, you must have at least 40 marks in total (excluding the assignment marks), and attendance in at least 3 quizzes.
  
  
• There will be zero tolerance for dishonest means like copying solutions from others, and even letting others copy your solution, in any quiz/exam/assignment. If you are found indulging in such an activity, your answer paper will not be evaluated and your participation/submission will not be counted. Second-time offenders will be summarily awarded an F grade.

Slides/Reference material (lecture-wise)