COMP6721 (In-)Formal Methods: The Lost Art (UNSW Sydney): rated 4.2/5 overall across 6 reviews collected on UNSW Wall.
COMP6721 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: Postgraduate Level 6
Handbook year: 2026
(In-)Formal Methods are practical structuring and design patterns that encourage programming that is easy to understand and to maintain. They are only a part of the large body of “good programming practices,” distinguished from that larger set because –for the methods we consider– the computer-science community has determined the science behind the structures: we know why they are effective.
COMP6721 has 6 scored reviews: overall 4.2/5 (all out of 5; higher difficulty means harder).
Sources: 6 Reddit comments that an AI model judged to be reviewing this course (average would-recommend 4.2/5).
On Reddit: "COMP6721 (Informal Methods) is fairly light in terms of coding; it's more about approaching the logic of programming correct programs. Not necessarily the thing for everyone since it is very logic-focused (being related to Formal Methods, but approaching how to \_use\_ them prac…"
On Reddit: ">comp6080 Its full asf rip. Not sure if its running in t3, but I did COMP6721. It was a very chill course, you can cruise through it. 10% participation, 50% weekly quizzes, 40% assignment."
The course panel on UNSW Wall shows every review and discussion in full.
Q: Is COMP6721 worth taking?
A: Averaged over 6 reviews: overall 4.2/5.
Q: Which faculty teaches COMP6721, and when is it offered?
A: COMP6721 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.