|
|
Research group
Current
Past
- Ryan Chan
Guaranteeing Contextual Security using Types
Undergraduate research thesis, 2025
- Sotirios Chatzidimitriadis
Topic: Causal reinforcement learning
Postdoc, 2023
- Alex Coleman
Towards Game-theoretic Analysis of the Closing Protocol in the Lightning Network
Undergraduate research thesis, 2023
co-supervised with Sanjay Bhattacherjee
- Darius Boteand
Type theory for declassification
Postgraduate research thesis, 2022
|