COMP2111 Foundations of Formal Methods (UNSW Sydney): rated 2.7/5 overall across 17 reviews collected on UNSW Wall.
COMP2111 is a UNSW Sydney course taught by the Faculty of Engineering in School of Computer Science and Engineering. This page brings together its handbook details and what UNSW students say about it.
Review data updated 2026-10-24.
Chinese title: 形式化方法基础
Type: Undergraduate course
Credit points: 6
Subject area: School of Computer Science and Engineering
Faculty: Faculty of Engineering
Level: Undergraduate Level 2
Handbook year: 2026
This course introduces students to theoretical computer science and formal methods in computing. It reinforces and builds upon prerequisite knowledge from MATH1081, especially predicate logic.
COMP2111 has 17 scored reviews: overall 2.7/5 (all out of 5; higher difficulty means harder).
Sources: 17 Reddit comments that an AI model judged to be reviewing this course (average would-recommend 2.7/5).
On Reddit: "As a Soft. Eng you have to do I think 2 extra Math courses in the second year (Finite Maths and Stats), don't quote me on this (might only be 1). The core first year math courses (MATH1, MATH2 and Discrete Math) are the same. You also have to do COMP2111 which contains a fair am…"
On Reddit: "I also took COMP2111 last term but thought the lecturer was great. The stuff learnt in 2111 can be used for a variety of things including - formal verification: the seL4 microkernel, proving programs are correct (important in cryptography for example) - compilers: many functiona…"
The course panel on UNSW Wall shows every review and discussion in full.
Q: Is COMP2111 worth taking?
A: Averaged over 17 reviews: overall 2.7/5.
Q: Which faculty teaches COMP2111, and when is it offered?
A: COMP2111 is taught by the Faculty of Engineering. Check the official handbook for the current year.
UNSW Wall is an independent student community and is not affiliated with UNSW Sydney.