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.
5 terms
Other grades
University of California, Santa Cruz
CSE 216 at UCSC: average GPA 3.06 across 120 students. Grade distribution by term. Mathematical techniques for analyzing systems to prove rigorous guarantees…
Average GPA: 3.06
Grade distribution records: 120 students across 5 terms.
| Grade | Students | Percent |
|---|---|---|
| A+ | 3 | 2.5% |
| A | 6 | 5.0% |
| A- | 13 | 10.8% |
| B+ | 20 | 16.7% |
| B | 43 | 35.8% |
| B- | 16 | 13.3% |
| C | 2 | 1.7% |
| D | 1 | 0.8% |
| F | 3 | 2.5% |
| P | 4 | 3.3% |
| S | 7 | 5.8% |
| W | 1 | 0.8% |
Based on 120 student grade records across 5 terms and 1 professor.
The course page is taking longer to load. This summary is still available.
We could not load the full course details. This summary is still available.
Still loading. This can take a moment on a slow connection.
Loading My Class Grades