Algorithmic Verification  COMP3153

hard, useless, no recording, low grade. 

FromDan's Comp electives

- disconnected content, lecturer is bad (lecture changed a couple of years ago, so this might not be applicaple anymore)
- really comprehensive and if u don't go to lectures, u're doomed

-RIP all assignments and exam are poorly organised

- (Experience from S1 2015) The course enabled me to reason about software quality in a formal way, which is very important if anybody wanna write software for industries like aeronautics, space etc. The lecturers are competent and very helpfull. The course is not easy, especially if you have not worked with formal methods before. But I would recommend everybody to take up the challange. It enables a person to develop into a MUCH better software developer and helps scale from otherwise very concrete courses.
the only good thing is there are two NICTA researchers contributing to the lectures but not really that helpful