Research group
Current
- Trong Hieu Mai (PhD candidate at UNSW)
- Cindy Chen (PhD candidate at UNSW) with Maurice Pagnucco
- Alex Coleman (PhD candidate at Kent) with Dominic Orchard
- Cassian Han (Masters student 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
- Charran Kethees (Research associate at UNSW)
- Nandan Nakirikanti (Research associate at UNSW)
- Kaixuan Wu Agentic AI
- Kushagra Gupta Program Synthesis
- Thais Baudon Secure compilation
- David Binder Modal type theory
- Ryan Chan Guaranteeing Contextual Security using Types
- Sotirios Chatzidimitriadis Causal reinforcement learning
- Alex Coleman Towards Game-theoretic Analysis of the Closing Protocol in the Lightning Network
- Darius Boteand Type theory for declassification
Short-term research associate, UNSW, 2026
co-supervised with Arash Shaghaghi
Short-term research associate, UNSW, 2026
Postdoc, University of Kent, 2024-2026
Postdoc, University of Kent, 2025
Undergraduate student, University of Kent, 2025
Postdoc, University of Kent, 2023
Undergraduate student, University of Kent, 2023
co-supervised with Sanjay Bhattacherjee
Postgraduate student, University of Kent, 2022