I am a PhD candidate in Programming Principles, Logic and Verification Group at University College London supervised by Alexandra Silva and Samson Abramsky.

My research interests are centered around (co)algebraic and categorical semantics of programs exhibiting probabilistic/quantitative behaviour. I am also fond of interactive theorem proving and automated verification of software.

Before that I received a BSc in Computer Science from the University of Southampton, where I was supervised by Julian Rathke. As an intern, I worked in the Automated Reasoning Group of Amazon Web Services in Seattle, in Software and Large Scale Systems Group in ARM Research in Cambridge, as well as in Goldman Sachs in London.

In my free time, you can usually spot me hiking or horse riding through Polish bits of the Carpathian mountains.