I have taken on another PhD student, Kai Phan, who (at least to start) will conduct some investigations into incorrectness logic, along with me, Xin Lu, and Peter Höfner. Welcome, Kai!
Edwin Park, a new honours student, has also arrived from University of Melbourne to do an honours project with me here at the ANU. We are looking at program calculational techniques such as Carroll Morgan's refinement calculus, and exploring proof-assistant-integrated program calculation techniques.
I began teaching my lectures for Structured Programming over the last week. To my surprise, despite being the same cohort for which I saw soul-destroyingly low attendance last semester, attendance this time was surprisingly decent. Perhaps it's the higher perceived difficulty of the course, the nicer weather, or the slightly more convenient location. Whatever the cause, I'm glad to actually have sufficient students to engage in a conversational lecture.
I have a bit of a sowing-and-then-reaping issue though. I designed the course outline to include weekly lab exercises, three homework tasks, and two mid-term exams. This is all well and good, except now I have to make all of this material. I'm very overwhelmed but well supported by some good tutors including Xin Lu, Kai Phan, Carlo Zancanaro and others.
Tibi dixit cor meum, qeæsívi vultum tuum, vultum tuum Dómine requíram: ne avértas fáciem tuam a me.
Reminíscere miseratiónum tuárum, Dómine, et misericórdiæ tuæ, quæ a saéculo sunt: ne unquam dominéntur nobis inimíci nostri: líbera nos Deus Israel ex ómnibus angústiis nostris.
This Sunday our director was away at All Saints Ainslie so I directed us for the Agnus Dei from Byrd's Mass for Four Voices, one of my favourite pieces:
Agnus Dei, qui tollis peccáta mundi, miserére nobis.
Lamb of God, that taketh away the sins of the world, have mercy upon us.
Agnus Dei, qui tollis peccáta mundi, miserére nobis.
Lamb of God, that taketh away the sins of the world, have mercy upon us.
Agnus Dei, qui tollis peccáta mundi, dona nobis pacem.
Lamb of God, that taketh away the sins of the world, grant us peace.
I also auditioned for the Coro choir. I think I stuffed up the sight reading, but I'll hope for the best.
