Person. Jack Bashford [jackb]

Undergraduate Student
Australian National University

Backlinks

News [news]

Liam O'Connor

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.

Liam O'Connor › Students [loc-0002]

Doctoral students

Rayhana Amjad: 2023–present. Linear infinite time within finite observations. Jointly supervised with Rob van Glabbeek at the University of Edinburgh.
Xin Lu: 2025–present. Incorrectness logic with exploitation strategies. Jointly supervised with Peter Höfner.
Kai Phan: 2026–present. Revocable semantics for run-time monitors. Co-supervised by Rob van Glabbeek at the University of Edinburgh and Dirk Pattinson at the Australian National University.

Secondary supervisions

Ali Nosherwan Hamed: 2026-present. Verification of Concurrent Systems. Primary supervisor is Nisansala Yatapanage at the Australian National University.
Carlo Zancanaro: 2026-present. Gradual Typing with Parametric Polymorphism. Primary supervisor is Fabian Mühlböck at the Australian National University.
Yi Yao: 2025-present. Unifying algebraic models of automata and computation. Primary supervisor is Peter Höfner at the Australian National University.
Tudor Ferariu: 2021–present. Formal verification of smart contracts. Primary supervisor is Philip Wadler at the University of Edinburgh.
Mathieu Fehr: 2022–2026. DSLs for compiler passes. Primary supervisor is Tobias Grosser at the University of Cambridge.

Masters students

Shaonan Li: 2022, University of Edinburgh. Exploring the 8-bit demoscene.

Bachelors students

Edwin Park: 2026, Australian National University. A proof-assistant framework for program calculation.
Mio Wu: 2025-2026, Australian National University. Pattern Unification in the Next Generation of the Holbert Proof Assistant
Josh Brown: 2025-2026, Australian National University. String Unification in the Next Generation of the Holbert Proof Assistant
Jack Bashford: 2025, Australian National University Semester Project. A File Format for Holbert Proofs.
Amy Yin: 2023-2024, University of Edinburgh. Concurrent Games in Agda.
Amy Yin: 2023, University of Edinburgh LFCS Internship Project. Branching Bisimulation Games in Agda.
Aria Shrimpton: 2023-2024, University of Edinburgh. Candelabra: Efficient selection of ideal container implementations.
Scott Maxwell: 2023-2024, University of Edinburgh. Metamorphosis: An automatic collection implementation selector.
Ke Shen: 2022-2023, University of Edinburgh. Formal Verification of Partition Refinement Algorithms.
Rayhana Amjad: 2021-2022, University of Edinburgh. Equality and Rewriting in the Holbert Proof Assistant.
Chris Perceval-Maxwell: 2021-2022, University of Edinburgh. Elimination and Induction in the Holbert Proof Assistant.
Yining Liu: 2021-2022, University of Edinburgh. Textbook Features in the Holbert Proof Assistant.

Institution. Australian National University [anu]