|
|
Research group
Current
- Trong Hieu Mai (incoming PhD student at UNSW)
- Alex Coleman (PhD student at Kent)
- 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
- Thais Baudon (Postdoc at Kent)
- David Binder (Postdoc at Kent)
Past
- Ryan Chan
Guaranteeing Contextual Security using Types
Undergraduate research thesis, University of Kent, 2025
- Sotirios Chatzidimitriadis
Topic: Causal reinforcement learning
Postdoc, at University of Kent, 2023
- Alex Coleman
Towards Game-theoretic Analysis of the Closing Protocol in the Lightning Network
Undergraduate research thesis, University of Kent, 2023
co-supervised with Sanjay Bhattacherjee
- Darius Boteand
Type theory for declassification
Postgraduate research thesis, University of Kent, 2022
|