Skip to main navigation
Skip to search
Skip to main content
Royal Holloway Research Portal Home
Help & FAQ
Home
Profiles
Research units
Research output
Projects
Activities
Prizes
Datasets
Search by expertise, name or affiliation
X
Felix Bradley
Mr
Postgraduate research student
,
Department of Computer Science
https://orcid.org/0000-0001-7227-9272
Email
Felix.Bradley.2021
live.rhul.ac
uk
Overview
Network
Research output
(1)
Projects
(2)
Activities
(4)
Prizes
(1)
Projects
2
Finished
Projects per year
2 results
End date
(ascending)
Title
Start date
End date
(descending)
Type
Status, start date
Filter
Finished
Search results
Verification of Integers and Sorting Algorithms in Coq
Bradley, F.
9/11/21
→
18/01/22
Project
:
Research
Subtype Universes
Bradley, F.
19/04/22
→
10/12/22
Project
:
Research