Course record ECEN
ECEN 5139
Computer-Aided Verification
University of Colorado Boulder
25 grades1 professor
Grades: Dates unavailableEvaluations: 2020–2025
Flunk Score67/100
Strong
Student evaluations
4.47 / 5
School avg. 4.36
11 reported responses
How the ratings compare
Compared with the school, highest difference first.
Inclusivity+0.82
Feedback+0.74
Collaboration+0.73
Contribution+0.67
Creativity+0.67
Grading+0.63
Synthesis+0.63
Critical examination of evidence+0.60
Technology+0.54
Reflection+0.51
Challenge+0.50
Connection+0.47
Questions+0.46
Discussion+0.42
Interaction+0.41
Respect+0.35
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 · 92nd percentile at the school · A signal, not a grade
| Question | Record | School | Difference |
|---|---|---|---|
| Critical examination of evidence | 4.96 | 4.36 | +0.60 |
| Technology | 4.98 | 4.44 | +0.54 |
| Synthesis | 4.93 | 4.30 | +0.63 |
| Collaboration | 4.88 | 4.15 | +0.73 |
| Connection | 4.90 | 4.43 | +0.47 |
| Contribution | 4.93 | 4.26 | +0.67 |
| Discussion | 4.93 | 4.51 | +0.42 |
| Inclusivity | 4.99 | 4.17 | +0.82 |
| Grading | 4.93 | 4.30 | +0.63 |
| Reflection | 4.95 | 4.44 | +0.51 |
| Respect | 5.00 | 4.65 | +0.35 |
| Creativity | 4.98 | 4.31 | +0.67 |
| Feedback | 4.85 | 4.11 | +0.74 |
| Interaction | 4.96 | 4.55 | +0.41 |
| Challenge | 4.97 | 4.47 | +0.50 |
| Questions | 5.00 | 4.54 | +0.46 |
Find a course or professor
Search helper · Uses this school’s records. Try “compare ECON 101” or a professor’s name.