COMP6260 — Foundations of Computing
Semester 2 2026 · official info from Programs & Courses
Official workload estimate10.8h/wkEstimated by dividing the official total (130h) by 12 teaching weeks — this is this app's own estimate, not an official figure.
Student-reported actual15.0h/wkAverage across 1 report; average difficulty 4.0 / 5.
Nicknames only — please don't name or identify individual staff in your feedback.
Submit a readiness report
Reports (1)
u8033161 · Semester 2 2026
- Difficulty
- 4 / 5
- Hours/week
- 15h
- Background
- Comfortable with Java and recursive functions , but no previous experience with formal verificatio.n
- Advice
- Understanding what requires and ensures actually mean saves a lot of time later. When Dafny fails, read the verification condition instead of randomly changing the code.