CSEE 6863
Formal Verif Hw Sw Systems
3 credits86 / 80 seats
- M 6:10pm–8:00pmPUPIN LABORATORIES PUP 329Full
Seat data provenance: Directory as of August 23, 2026 at 4:00 AM
Courses
Sections
Seats offered
Class time / week
Loading instructor profile
Catalog
1 course
Seat data provenance: Directory as of August 23, 2026 at 4:00 AM
n=1, 2026
Aggregated across every course this instructor has taught.
Teaching quality
No signal
Grading fairness
No signal
Workload
No signal
Difficulty
No signal
Overall sentiment
No signal
Would take again
No signal
Sources: CULPA (1)
86 students108% of seats
1
Course
1
Section
80
Seats offered
1h 50m
Class time / week
Seat counts as published by the Directory of Classes on August 23, 2026 at 4:00 AM.
Activity
Fall 2026 · Sep 2 – Dec 12 · 14 teaching days
PUPIN LABORATORIES
Flat map — motion reduced
5 class meetings
Nov 1
9h 10m total
Nov 30
86 at peakMon 6:10pm