CSE 216Formal Methods
Mathematical techniques for analyzing systems to prove rigorous guarantees about their behavior. Fundamental algorithms for and advanced topics in modeling, specification, verification, correct-by-construction synthesis, and testing. Applications to hardware/software design, cybersecurity, robotics, machine learning. Course includes a final project.
Prerequisite(s): CSE 101M or equivalent recommended, but not required. Enrollment is restricted to graduate students; undergraduates may enroll by permission of instructor.
Find a section and add it to your scheduleLive seat counts, time-conflict checks and the walk from your previous class.
When it runs
Fall 2026Open Fall 2026
| Section | Type | When | Where | Instructor | Seats |
|---|---|---|---|---|---|
| 01 | Lecture | Tue Thu 3:20pm–4:55pm | McHenry Lib 1340 | D. Fremont | Open 24/42 |
Fall 2025Open Fall 2025
| Section | Type | When | Where | Instructor | Seats |
|---|---|---|---|---|---|
| 01 | Lecture | Tue Thu 1:30pm–3:05pm | PhysSciences 110 | D. Fremont | Open 35/45 |
Who teaches it
| Instructor | Rating | Difficulty | Would take again | Reviews |
|---|---|---|---|---|
| Daniel Fremont | 4.2 / 5 | 4.3 / 5 | 74% | 31 |
From RateMyProfessors, which is student-submitted and not a survey. Small review counts move a long way on one bad quarter.
SlugAtlas is a student project and is not affiliated with, endorsed by, or operated by UC Santa Cruz. Course data is a snapshot of the public class search; myUCSC is authoritative for enrolment.