Vineet Rajani



Home

Publications

Grants

Teaching

Group

Contact
Research group

Current
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