to ensure you get the best experience on my website. If you continue without changing your settings, I'll assume that you are happy to receive them. You can, however, change your cookie settings at any time.
My website requires
to fully function, please enable it in your web browser. Thank you.
Undergraduate at the Department of Computer Science, University of Warwick, UK.
Academic interests include; computational complexity theory, categorical logic, and type theory.