Projects per year
Search results
-
Active
Maths DTP 2021/22 University of Strathclyde | Watters, Sean
Kupke, C. (Principal Investigator), Nordvall Forsberg, F. (Co-investigator) & Watters, S. (Research Co-investigator)
EPSRC (Engineering and Physical Sciences Research Council)
1/10/21 → 1/10/25
Project: Research Studentship - Internally Allocated
-
Finished
COVER: COalgebraic Foundations for Quantitative VERification
Kupke, C. (Principal Investigator)
1/11/20 → 1/03/25
Project: Research
-
Industrial Case Account - University of Strathclyde 2019 | Fontana, Enrico
Kupke, C. (Principal Investigator), Atkey, B. (Co-investigator) & Fontana, E. (Research Co-investigator)
EPSRC (Engineering and Physical Sciences Research Council)
1/10/19 → 1/04/24
Project: Research Studentship Case - Internally allocated
-
KTP - Symphonic Software
Atkey, B. (Principal Investigator) & Kupke, C. (Co-investigator)
Symphonic Software Ltd, KTP Govt (Momenta)
6/02/17 → 5/02/19
Project: Research
-
Coalgebraic Foundations of Semi-Structured Data (EPSRC First Grant)
Kupke, C. (Principal Investigator)
EPSRC (Engineering and Physical Sciences Research Council)
1/02/16 → 31/01/18
Project: Research
-
CORCON (FP7 IRSES)
Ghani, N. (Principal Investigator), Kupke, C. (Co-investigator) & McBride, C. (Co-investigator)
European Commission - FP7 - General
1/01/14 → 31/12/17
Project: Research