HOME STUDENTS PUBLICATIONS TEACHING SERVICE CV EMAIL

Students

I am committed to mentoring the next generation of computer scientists and take great pride in the careers my students have gone on to build. I have supervised over 80 students at all levels - from undergraduate research projects to postdoctoral researchers - across The Australian National University (ANU), Victoria University of Wellington (VUW), Carnegie Mellon University (CMU), Karlsruhe Institute of Technology (KIT), and Iowa State University of Science and Technology (ISU). My former students and collaborators have gone on to positions at leading companies and universities, including Dr Julian Mackay (Verification Engineer at Kry10; formerly Lecturer at Victoria University of Wellington and MBIE Science Whitinga Fellow), Dr Radu Muschevici (Assistant Professor, University of Nottingham Malaysia), Dr Amos Robinson (Computer Scientist, Microsoft), Justin Lubin (PhD candidate, UC Berkeley), Dr Darya Melicher (Product Manager, San Francisco Bay Area; previously Google), Dr Paley Li (Postdoc, Czech Technical University with Jan Vitek), Dr Hannes Mehnert (Co-founder, Robur cooperative), Felix Shi (Senior Security Architect, Xero), Garming Sam (Security Platform Engineer, Westpac NZ), and Constantine Dymnikov (Solutions Architect, NZ Ministry of Justice).

As Associate Director of HDR at the ANU School of Computing (2023 - 2025), I managed admissions, supervision, and progress for over 200 PhD students. I created a monitoring app to proactively track student progress and wellbeing, revamped the admissions and scholarship process, and ensured regular six-monthly reviews across all research clusters. Previously, as Postgraduate Coordinator at VUW (2012 - 2016), I chaired every PhD proposal meeting and managed all thesis student matters across an interdisciplinary research programme, earning a commendation from the BE Review Panel in 2016.

Interested in Joining the Group?

I am unable to accept any new students at the moment, as my group has reached its maximum capacity. Please enquire again in 2029. Until then I will not be able to reply to requests for supervision, sorry. In the meantime, please see the other available supervisors at the ANU School of Computing.

External applicants: for me to consider you (and reply), the first paragraph of your email must name at least one referee who knows you, is willing to provide a reference, and has published at one of the four major ACM SIGPLAN conferences (POPL, PLDI, ICFP, or OOPSLA) or a similarly strong venue such as CAV; emails without this are filed away without a response. Students already at my institution are exempt — just email me or come and chat in person.

How to Apply ANU PhD Scholarships

Primary Supervisor

Yan Liu
Yan Liu
Fiducia
Research Fellow (Postdoc), ANU, 2025 - 2027
Sasha Pak
Sasha Pak
Partial Borrows in Rust Verified with Mechanised Aeneas
PhD 2024 - 2027 | Co-supervised with Ilya Sergey (NUS), Fabian Muehlboeck
Abolfazl Sharifi
Abolfazl Sharifi
Verification of Concurrent Data Structures in Rust using Iris
PhD 2026 - 2030 | Co-supervised with Ranald Clouston, Lindsay Groves (VUW)
Edwin Singh
Edwin Singh
Why Language Designers Do Modules The Way They Do (Grounded Theory Study)
PhD 2022 - 2028 (part time) | Co-supervised with Jennifer Ferreira (VUW), Alwen Tiu
Mio Wu
To Be Confirmed
PhD 2028 - 2031 | Co-supervised with Yan Liu
Matthew Richards
To Be Confirmed
PhD 2028 - 2031 | Co-supervised with Yan Liu, Michael Norrish
Jack Hackshaw
To Be Confirmed
PhD 2028 - 2031 | Co-supervised with Yan Liu, Michael Norrish
Charlotte Fulham
Verified Parser in Rust for Fiducia
Honours (3rd-year project) 2026 S2 - 2027 S1 | Co-supervised with Yan Liu

Supervisory Panel Member (Not Primary Supervisor)

Haoyu Wu
Haoyu Wu
Nomnom Type Checking
PhD 2025 - 2028 | Primary supervisor: Fabian Muehlboeck
Carlo Zancanaro
Carlo Zancanaro
Gradual Typing and Type Polymorphism
PhD 2026 - 2029 | Primary supervisor: Fabian Muehlboeck
Julia Groß
Energy Trading in Blockchains
PhD 2024 - 2030 (part time, ANU) | Primary supervisor: Ramesh Rayudu (VUW); with Jennifer Ferreira (VUW)
Maximilian Kodetzki
Maximillian Kodetzki
X-by-Construction
PhD 2022 - 2026 (KIT) | Primary supervisor: Ina Schaefer
Jakob Jerebica
Formalisation of Pancake by Construction with Real World Driver Examples
PhD 2026 - 2030 (KIT) | Primary supervisor: Ina Schaefer; with Michael Norrish
Dao Le
Dao Le
To Be Confirmed
PhD 2028 - 2031 | Primary supervisor: Michael Norrish

Completed Students

  1. Billy Jaffray (Honours 2026), Verifying Lock Free Data Structures using Verus
  2. Alyssa Herald (Honours 2025 - 2026), Co-Supervised with Alwen Tiu, Security of Capabilities in CHERI
  3. Charlotte Fulham (RA, June - September 2026), Fiducia Microkit Backend, Co-Supervised with Yan Liu
  4. N Shalini Srinivasan (RA, June - August 2026), Fiducia Model Checking, Co-Supervised with Yan Liu
  5. David Young (PhD 2023 - 2026, part time, Kansas), PCM's for Abstracted Layouts across Multiple Fields: from Heaps to Quantum
  6. Jack Hackshaw (Honours 2025 - 2026), Pancake in Loom in Lean
  7. Rishita Sarkar (BAC R&D 2025 - 2026), Quantum Computing Testing, Co-Supervised with Liyi Li
  8. Libby Boas (PhB ASC 2025 - 2026), Quantum Computing Distributed Computation, Co-Supervised with Liyi Li
  9. Charlotte Fulham (Engineering ASC 2026 S1), Fiducia to Microkit Bridge Implementation, Co-Supervised with Yan Liu
  10. Zara Hassan (PhD 2023 - 2025), Reproducibility Debt in Scientific Software, Co-Supervised with Christoph Treude (SMU), Michael Norrish, Graham Williams, now working with the Australian Research Data Commons
  11. Fahimeh Hoseinnia (PhD 2023 - 2026 at VUW), Agricultural Pollution Data Marketplace and DAOs, Co-Supervised with Jennifer Ferreira, James Quilty, now Data Analyst at Arthur D Riley & Co, NZ
  12. Ari Gilchrist (ASC), Qiskit to QGen Translation
  13. Iko-Ojo Simon (PhD 2023 - 2025), Co-Supervised with Hanna Suominen, Chirath Hettiarachchi, and Fatemeh H. Fard at UBC, Algorithmic Debt, now Postdoc at the University of São Paulo, Brazil
  14. Jakob Jerebica (Masters 2024 - 2025 at KIT), Co-Supervised with Ina Schaefer and Michael Norrish
  15. Matt Britton (Honours in 2024 - 2025), Rust Refactoring
  16. Dariy Guzairov (Honours in 2025), Co-Supervised with Alwen Tiu, CHERI Exploits
  17. Nicholas Arvanitellis (ASC Project in 2025), Co-Supervised with Alwen Tiu, Obfuscation Exploits
  18. Lachlan Graham (Honours in 2024), Co-Supervised with Alwen Tiu, Capabilities from High Level to Hardware
  19. Zack Noyes (Honours in 2024), Co-Supervised with Alwen Tiu, Information Flow
  20. Ziling Ouyang (Honours in 2024), Co-Supervised with Fabian Mühlböck, Using Redex for Safe Programming Languages Research: A Case Study in System C
  21. Matthew Gates (BAC RnD Project in 2024 S2), Coq Formalisation of Tagged Objects
  22. Amos Robinson (Postdoc 2023 - 2025 at ANU), Higher Level Invariants with Lark
  23. Guanming Ou (Honours at ANU in 2023), Co-Supervised with Fabian Mühlböck and Jonathan Aldrich at CMU, Abstract and Algebraic Effects in Wyvern (Theory)
  24. Ziling Ouyang (Third Year Project at ANU in 2023), Co-Supervised with Fabian Mühlböck and Jonathan Aldrich at CMU, Abstract and Algebraic Effects in Wyvern (Implementation)
  25. Richard Susilo (Honours at ANU in 2023), Co-Supervised with Fabian Mühlböck, IDE-Driven Partial Semantics for Wyvern
  26. Jaxon Kneipp (Honours at ANU in 2023), Co-Supervised with Michael Anenburg, Visualisation App for REM Discovery
  27. Aniket Shaha (RA via FRT 2023), Classification of CVE's to Identify the Use for Capability-Enabled Modules in Language Security
  28. Abhaas Goyal (Honours at ANU in 2022 - 2023), Co-Supervised with Jonathan Aldrich at CMU, Usability Study of Capable vs Incapable Modules
  29. Naisheng Liang (Honours at ANU in 2023), Breaking or Security of IntelliJ Plugins via Language Security Techniques
  30. Xinyi (Kayla) Li (RA via Google 2023), Co-Supervised with Matthew Roberts at Macquire University, Survey of FM Curriculum in Australasia
  31. Tobias Runge (PhD Thesis in 2019 - 2022 (based at KIT and formerly at TU Braunschweig), CbC with Ownership and Traits, Co-Supervised with Ina Schaefer and Marco Servetto
  32. Leon Bowie (RA in 2021, 2022), AgriDataTrade Marketplace with N Leaching Sensor Network for NZ Farms
  33. Sophia Roshal (RA in 2021 and 2022 (based at CMU and Cornell)), Decidable Nominal Subtyping in Wyvern, Co-Supervised with Jonathan Aldrich
  34. Richard Susilo (Undergraduate Research Project in 2022 at ANU)
  35. Nik Bielski (PhD Thesis attempted in 2022 - 2023 (part time, suspended in 2023)), Co-Supervised with Bastiaan Kleijn at VUW and Heyang (Thomas) Li at UC
  36. Manish Singh (PhD Thesis attempted in 2017 - 2022 (part time, suspended in 2021)), Lock Free Balanced BST's, Co-Supervised with Lindsay Groves
  37. Rowan Rathod (ENGR489 attempted in 2021), Automated Farm Sensing on a Robonomics Platform
  38. Samantha Hau (ENGR489 in 2021), WFA Events App
  39. Dominic Tjiptono (ENGR489 in 2021), Haskell in the Real World, Co-Supervised with James Noble
  40. Maxwell Clarke (2020/2021 Summer RA based at VUW), Wyvern Effects and FFI
  41. Timothy Mou (2020 Summer RA based at CMU), Wyvern Decidable Nominal Type Member Subtyping Implementation, Co-Supervised with Jonathan Aldrich (CMU)
  42. Anlun Xu (Masters at CMU in 2020), Bounded Abstract Effects, Co-Supervised with Jonathan Aldrich (CMU)
  43. Carl Bennett (ENGR489 in 2019), A Study In Mobile App and Web Frameworks
  44. Cameron Laing (ENGR489 in 2019), Reproducing an Existing Empirical PL or SE Study
  45. Billy Zhu (Masters at CMU in 2018/2019), Nominal Type Members, Co-Supervised with Jonathan Aldrich (CMU)
  46. Henry Nelson (2018 Summer RA based at CMU), Wyvern JavaScript Backend and Bytecode, Co-Supervised with Jonathan Aldrich (CMU)
  47. Justin Lubin (2018 Summer RA based at CMU), Wyvern Effects, Co-Supervised with Jonathan Aldrich (CMU)
  48. Andre Westerlund (ENGR489 in 2018), Wyvern Secure Web Server, Co-Supervised with Jonathan Aldrich (CMU)
  49. Tu Dinh (ENGR489 in 2018), Wyvern REPL, Co-Supervised with Jonathan Aldrich (CMU)
  50. Zacary Paynter (ENGR489 in 2018, Co-Supervised with Lindsay Groves), Non Blocking Priority Queues Review and Performance Comparison
  51. Miten Chauhan (ENGR489 in 2017), Industrial Project with PlanIT
  52. Neel Patel (ENGR489 in 2017), Industrial Project with PlanIT
  53. Callum Gil (ENGR489 in 2017), Industrial Project with Haunt
  54. Baptiste Pauget (RA in February - July 2017, Whiley to FPGA, Co-Supervised with David Pearce)
  55. Aaron Craig (COMP489 2016/2017, Effects and Capabilities in Wyvern, Co-Supervised with Jonathan Aldrich from CMU and Lindsay Groves)
  56. Robbie McKinstry (RA based at CMU in 2016, Wyvern Implementation, Co-Supervised with Jonathan Aldrich from CMU)
  57. Luke Inkster (ENGR489 in 2016, Inheritance vs Delegation Study, Co-Supervised with James Noble)
  58. Daniel Campbell (COMP489 in 2016, Macros in Rust, Co-Supervised with Nick Cameron from Mozilla Corporation)
  59. Aaron Craig (Summer RA in 2015/2016, Verification Support for Wyvern, Co-Supervised with Jonathan Aldrich from CMU and Lindsay Groves)
  60. Daniel Campbell (Summer RA in 2015/2016, Tool Support for Macros in Rust, Co-Supervised with Nick Cameron from Mozilla Corporation)
  61. Garming Sam (BE Honours in 2015, Refactorings in Rust, Co-Supervised with Nick Cameron from Mozilla Corporation)
  62. Jui Deshpande (BE Honours in 2015, Automatic Data Quality Analysis Tool for Airways NZ), Co-Supervised with Hui Ma
  63. Mate Antunovic (BE Honours attempted in 2015, RR, Co-Supervised with Robert O'Callahan from Mozilla Corporation)
  64. Julian Mackay (PhD Thesis in 2015 - 2019, Wyvern Type Members), Co-Supervised with Jonathan Aldrich (CMU) and Lindsay Groves
  65. Darya Melicher (PhD Thesis in 2013 - 2019, Wyvern Modules, CMU), Primary Supervisor is Jonathan Aldrich (CMU)
  66. Troy Shaw (BE Honours Thesis in 2014, Tagged Types Implementation for Wyvern)
  67. Tim Sullivan (BSc Honours Thesis in 2014, Interpreter for Grace), Co-Supervised with James Noble
  68. Ahmed Khalifa (PhD Thesis from 2010 to 2013, Ownership and Immutability in the Real World), Co-Supervised with James Noble
  69. Morgan Atkins (MSc Thesis in 2012, Survey of Concurrency Features in OO Programming Languages), Co-Supervised with Lindsay Groves
  70. Julian Mackay (MSc Thesis in 2012, Mechanised Theorem Proving in COQ for Ownership and Immutability), Co-Supervised with Lindsay Groves
  71. Morgan Atkins (RA in summer 2010/2011, X10 Programming Language and Clocked References)
  72. Morgan Atkins (BSc Honours Thesis in 2011, X10 Programming Language)
  73. Julian Mackay (BSc Honours Thesis in 2011, Mechanised Theorem Proving in COQ), Co-Supervised with Lindsay Groves
  74. Felix Shi (BE 400-level Thesis in 2011, JavaScript Type Inference), Co-Supervised with Lindsay Groves
  75. Jan Larres (MSc Thesis in 2011, Performance Variations Analysis in Mozilla Firefox), Co-Supervised with Yuichi Hirose
  76. Constantine Dymnikov (MSc Thesis in 2011, Modular Ownership Inference), Co-Supervised with David Pearce
  77. Hien Tran (BE 400-level Thesis in 2010, Automated Analysis of Map Labelling for GIS Users), Co-Supervised with Mairead de Roiste from SGEES
  78. Hannes Mehnert (RA in summer 2009/2010, Ownership and Immutability, Co-Supervised with Nicholas Cameron)
  79. Constantine Dymnikov (RA in 2009/2010, Ownership Inference)
  80. Andrew Walbran (RA in 2009, OIGJ Compiler)
  81. Gustav van der Merwe (RA in 2009, Ownership, Immutability and GADT's)
  82. Paley Li (BSc Honours Thesis in 2008, Ownership and Immutability), Co-Supervised with James Noble and Lindsay Groves
  83. Andrew Childs (BSc Honours Thesis in 2008, Eliminating Redundant Null Checks), Co-Supervised with Lindsay Groves
  84. Paley Li (RA in 2008, Ownership and Immutability)
  85. Radu Muschevici (MSc Thesis in 2007/2008, Multimethods), Co-Supervised with James Noble
  86. Neil Ramsay (BIT Thesis in 2007, Software Visualisation), Co-Supervised with Stuart Marshall
  87. Leo Gui (BIT Thesis attempted in 2007, Usability of Teaching Tools), Co-Supervised with Stuart Marshall
  88. Christo Fogelberg (RA in 2007, Ownership in Collections)