Research output per year
Research output per year
My research interests focus on developing and analysing tools and theories for use in formalising foundational mathematics and in the development of new software and programming languages, primarily through the lens of type theory. I'm currently working on the projects in the following areas:
Outside of my research, I also work as a visiting teaching assistant; and as coordinator of the Proofs and Programs Club, an extra-curricular club aimed at teaching undergraduate students the Coq proof assistant and developing their skills in mathematical reasoning and functional programming. I am currently training for Higher Education Academy associate fellowship and a M-level certificate in education.
Prior to joining the Department of Computer Science at Royal Holloway, I studied mathematics and computer science at the University of Southampton. I graduated with first-class honours, and earned a Dean's List award. My research at Southampton covered aperiodic tilings: teaching analytical tools developed with category theory, and developing new original proofs about localised patterns.
Mathematics, MMath, University of Southampton
Award Date: 8 Jul 2021
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Felix Bradley (Speaker)
Activity: Talk or presentation › Oral presentation
Felix Bradley (Speaker)
Activity: Talk or presentation › Oral presentation
Felix Bradley (Participant)
Activity: Participating in or organising an event › Participation in workshop, seminar, course