Departments Courses

Posts are written by anonymous visitors and are their opinions, not ours. An independent student project, not affiliated with IIT Delhi.

Site

Departments
Courses
Search

More

Terms
Contact

COL8271 Special Topics in Formal Methods, IIT Delhi · ProfRate

COL8271 · Computer Science and Engineering

Special Topics in Formal Methods

3 (3-0-0) credits · Running in Semester 1, 2026-2027

Previously COL876 in the old three-digit numbering, as recorded in IIT Delhi’s course catalogue.

0.0/10

No ratings yet

1

2

3

4

5

6

7

8

9

10

Your rating

COL8271 Special Topics in Formal Methods

7

One rating per person. Editable later.

One rating per person, from 1 to 10. You can change it any time.

Ctrl+Enter to post · anonymous handle · contact details are stripped

0 comments

No comments yet. Start the thread.

Quick answers from people who took it: how it is run, not whether they liked it.

No answers yet. If you have taken this course, a few taps help the next person decide.

Add what you knowStart

Answer only what you know. Tap again to clear an answer.

Attendance is enforced
Grading is relative
Has a course project
Regular quizzes
Lectures are recorded
Past exams are good practice
Workload

Who taught youOptional. Attendance and grading often change with the instructor.

Semester by semester, newest first. A name links to the professor's page where there is one.

Semester 1, 2026-2027now
Vaishnavi Sundararajan
Slot AA · MTh 14:00-15:30 · LH 413.4

Under its earlier number COL876

Semester 1, 2026-2027now
Vaishnavi Sundararajan
Slot AA · MTh 14:00-15:30 · LH 413.4 · 7 enrolled
Semester 1, 2024-2025
Priyanka Golia
Slot X
Semester 1, 2023-2024
Vaishnavi Sundararajan
Slot X

This semester

Vaishnavi SundararajanTeaching
Slot AA · MTh 14:00-15:30Lectures
LH 413.4Room

Offered by

Computer Science and EngineeringDepartment faculty
All its courses