Room 503

Department of Computer Science

University of Oxford

7 Parks Rd, OX1 3QG

Oxford, United Kingdom

**Email**: name.surname at cs.ox.ac.uk

I am a second-year Computer Science DPhil student at the University of Oxford, supervised by Sam Staton. My research interests lie mostly at the intersection of mathematics and theoretical computer science - such as semantics of programming languages, Markov Chain Monte Carlo methods, Reinforcement Learning theory and Information Geometry. I currently split my time between doing research on categorical semantics of probabilistic programming languages and working on AI safety.

I am generously funded by Open Phillantropy's Early-Career Funding for Improving the Long-Term Future.

Before coming to Oxford, I studied Mathematics (Bsc, MSc) and Computer Science (BSc) at the University of Warsaw, worked in a hedge fund in London, tried studying Philosophy at the University of Warsaw (but dropped out pretty quickly) and Medicine at the Medical University of Lodz (and dropped out even quicker), developed NLP models in 2016s before Transformers had taken over, tried my luck at mechanism design during the blockchain frenzy of 2017s, stationed at the polar circle while adding a few additional bugs to Office365, and in general engaged in BFS over DFS while I could.

My full CV can be found here.- Limitations of Agents Simulated by Predictive Models,
- Goodhart's Law in Reinforcement Learning,
- Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets,
- Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languages,