Course record CSCI
CSCI 5135
Computer-Aided Verification
University of Colorado Boulder
Grade distribution unavailable1 professor
Evaluations: 2020–2025
Flunk Score47/100
Mixed record
Student evaluations
4.23 / 5
School avg. 4.36
16 reported responses
How the ratings compare
Compared with the school, highest difference first.
Inclusivity+0.77
Creativity+0.64
Synthesis+0.47
Interaction+0.42
Questions+0.42
Critical examination of evidence+0.39
Technology+0.31
Respect+0.31
Challenge+0.29
Contribution+0.18
Reflection+0.14
Connection+0.12
Feedback+0.03
Discussion−0.07
Collaboration−0.12
Grading−0.27
Left: below school averageRight: above school average
0 = school average for each question. +0.50 means half a point above it on the 1–5 rating scale.
View exact values
CU-Boulder FCQ (16-dim, 1-5) · across 1 rated professor · 47th percentile at the school · A signal, not a grade
| Question | Record | School | Difference |
|---|---|---|---|
| Critical examination of evidence | 4.75 | 4.36 | +0.39 |
| Technology | 4.75 | 4.44 | +0.31 |
| Synthesis | 4.77 | 4.30 | +0.47 |
| Collaboration | 4.03 | 4.15 | −0.12 |
| Connection | 4.55 | 4.43 | +0.12 |
| Contribution | 4.44 | 4.26 | +0.18 |
| Discussion | 4.44 | 4.51 | −0.07 |
| Inclusivity | 4.94 | 4.17 | +0.77 |
| Grading | 4.03 | 4.30 | −0.27 |
| Reflection | 4.58 | 4.44 | +0.14 |
| Respect | 4.96 | 4.65 | +0.31 |
| Creativity | 4.95 | 4.31 | +0.64 |
| Feedback | 4.14 | 4.11 | +0.03 |
| Interaction | 4.97 | 4.55 | +0.42 |
| Challenge | 4.76 | 4.47 | +0.29 |
| Questions | 4.96 | 4.54 | +0.42 |
Find a course or professor
Search helper · Uses this school’s records. Try “compare ECON 101” or a professor’s name.