About

A photo of Felix, who has long red hair and glasses.

Hello! I'm Felix Bradley: a British mathematician and computer scientist. I'm a teaching fellow and postgraduate researcher at Royal Holloway, University of London, and I'm currently working on topics including bounded quantification, power types, pure subtype systems, and the use of subtyping in homotopy type theory.

I am supervised by Prof. Zhaohui Luo, and advised by Dr. Argyrios Deligkas. You can find more information on my work via my Pure researcher profile.

With my colleagues Dr. Julien Lange, Dr. Reuben Rowe and Dr. Francisco Ferreira, I co-organise the Proofs and Programs Club, an extra-curricular club teaching students how to use proof assistants, and involving them in software verification research.

This website was built by hand using Astro v7.0.2.

Fonts used include Roboto Flex, iA Writer Quattro, and IBM Plex Sans, which are each under the SIL Open Font license.

Icons used include Font Awesome 7.3.