PhD student at UCL
I am a PhD student in Programming Principles, Logic and Verification Group at University College London supervised by Alexandra Silva and Samson Abramsky . My current research interests are probabilistic variants of Kleene algebra and their completeness theorems, however more generally I am interested in coalgebraic semantics of probabilistic and quantitative systems.
Before that I received a BSc in Computer Science from the University of Southampton , where I was supervised by Dr Julian Rathke . As an intern, I worked in Software and Large Scale Systems Group in ARM Research in Cambridge, as well as in Goldman Sachs in London.