News [news]

See also Weeknotes

26.07.19 I have agreed to teach my Interactive theorem proving course at the Logic Summer School in December this year.
26.06.10 I have accepted an invitation to serve on the PC of TFPIE '27: 16th International Workshop on Trends in Functional Programming in Education.
26.03.01 Kai Phan starts her PhD this week, and Edwin Park starts his honours project.
26.02.20 I have accepted an invitation to serve on the PC of POPL ’27: 54th ACM SIGPLAN Symposium on Principles of Programming Languages.
26.01.16 My student Kai Phan will start her PhD with me this semester.
26.01.15 I have agreed to join the supervision panel for Fabian Mühlböck's student, Carlo Zancanaro.
25.12.17 I have agreed to join the supervision panel for Nisansala Yatapanage's student, Ali Nosherwan Hamed.
25.12.01 My course on Interactive theorem proving is running this week.
25.09.19 I have agreed to teach COMP1110 Structured Programming in 2026 Semester 1.
25.09.18 I will be teaching at the ANU Logic Summer School 2025 this December.
25.09.12 I have been made a member of IFIP Working Group 2.1: Algorithmic Languages and Calculi.
25.09.08 The ICFP '25 Programming Contest has successfully concluded.
25.08.22 Xin Lu starts her PhD with me and Peter Höfner today.
25.07.22 Selene's paper, Memory Safety: Uniqueness as Separation, has been accepted to APLAS '25: 23rd Asian Symposium on Programming Languages and Systems!
25.07.20 Mio Wu and Josh Brown are starting their Honours projects with me this semester, working on the next generation of the Holbert proof assistant.
25.05.30 Xin Lu will be starting her PhD with me and Peter Höfner in a few months.
25.05.16 I have completed the domain theory lecture notes.
25.05.01 I have agreed to co-supervise Yi Yao, a new PhD student with Peter Höfner.
25.03.22 I have joined the PC for Haskell '25: 18th ACM SIGPLAN Haskell Symposium.
25.03.13 I have joined the PC for FProPer '25: 2nd ACM SIGPLAN Workshop on Functional Programming for Productivity and Performance.
25.02.04 Jack Bashford has joined me for a semester project working on Holbert.
25.01.08 I have joined the PC for APLAS '25: 23rd Asian Symposium on Programming Languages and Systems.
24.11.05 I have joined the PC for ICFP '25: 29th ACM SIGPLAN International Conference on Functional Programming.
24.10.22 I have joined the PC for PLDI '25: 46th ACM SIGPLAN International Conference on Programming Language Design and Implementation.
24.09.17 I have agreed to organise the ICFP '25 Programming Contest.
24.09.30 I was delighted to spend a week with the WG2.1 folks here at the ANU.
24.09.09 Our student Rayhana Amjad has published her first paper, Semantics for Linear-time Temporal Logic with Finite Observations at EXPRESS/SOS.
24.07.30 I have taken a new position as a Senior Lecturer at the Australian National University.