Projects per year
Search results
-
Active
Southern and Midlands Logic Seminar 24/25 renewal
Powell, T. (PI)
3/11/24 → 30/09/25
Project: UK charity
-
New Investigator: Imperative programs from proofs
Powell, T. (PI)
Engineering and Physical Sciences Research Council
23/01/23 → 22/01/26
Project: Research council
-
Finished
-
Joint Research Groups (Scheme 3): Southern Logic Seminar
Powell, T. (PI)
1/12/22 → 30/09/23
Project: UK charity