Research group
Current
- Trong Hieu Mai (PhD candidate at UNSW)
- Alex Coleman (PhD candidate at Kent) with Dominic Orchard
- Charran Kethees (Research associate at UNSW)
- Saqib Rashid (Honors student at UNSW)
- Joshua Mamelok (Honors student at UNSW) with Aditya Joshi
- Yanrunzhe Lyu (Honors student at ANU) with Ranald Clouston
- Kaixuan Wu (Intern at UNSW) with Arash Shaghaghi
- Kushagra Gupta (incoming Intern at UNSW)
- Thais Baudon Secure compilation
- David Binder Modal type theory
- Ryan Chan Guaranteeing Contextual Security using Types
- Sotirios Chatzidimitriadis Topic: Causal reinforcement learning
- Alex Coleman Towards Game-theoretic Analysis of the Closing Protocol in the Lightning Network
- Darius Boteand Type theory for declassification
Postdoc, University of Kent, 2024-2026
Postdoc, University of Kent, 2025
Undergraduate student, University of Kent, 2025
Postdoc, at University of Kent, 2023
Undergraduate student, University of Kent, 2023
co-supervised with Sanjay Bhattacherjee
Postgraduate student, University of Kent, 2022