• Final notice for COMP3153/9153

    Posted by Paul Hunter Monday 30 August 2021, 07:00:29 AM.

    Hi all,

    You are now able to see all your assignment results on the course website. Please notify me of any gross omissions - results can (and have) been amended several months after release. I have included a field "assignment_weighted_mark" which is the grade (out of 50) you have received for all your assignment work, weighted according to the scale discussed in lectures. I am happy to provide individual feedback if you have any questions.

    It is against university policy to release provisional overall results before the official release of grades, so unfortunately I cannot release your exam results. Once those results are released however, I am happy to provide any additional feedback.

    Finally, a big congratulations to the course tutor Simon, who has been offered an Research Assistant position at Oxford which he will be undertaking soon.

    Thanks all (especially for putting up with the random zoom drop outs),


  • 30 minutes remaining

    Posted by Paul Hunter Friday 20 August 2021, 04:31:22 PM.

    Hi all,

    This is a reminder that the exam is due in 30 minutes.

    A reminder that you can make multiple submissions, so please be sure to make at least one submission in good time.


  • Final exam now available

    Posted by Paul Hunter Friday 20 August 2021, 01:46:32 PM.

    Hi all,

    The final exam is now available here:

    (Under Activities -> Exam)

    It is due at 17:00 AEST .

    I will be on zoom (Links for Online Content -> Online consultation) for the next 45 minutes if there are any questions.


Upcoming Due Dates

There is nothing due!

Back to top

COMP3153/COMP9153 21T2 (Algorithmic Verification) is powered by WebCMS3
CRICOS Provider No. 00098G