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.