Hello! I’m Felix Bradley: a British mathematician and computer scientist researching in type theory. I’m a 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 Programs and Proofs Club, an extra-curricular club teaching students how to use proof assistants, and involving them in software verification research.