Projects per year
Fingerprint
Dive into the research topics where Clemens Kupke is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 6 Finished
-
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
-
COVER: COalgebraic Foundations for Quantitative VERification
Kupke, C. (Principal Investigator)
1/11/20 → 1/03/25
Project: Research
-
Constructing witnesses for lower bounds on behavioural distances
Turkenburg, R., Beohar, H., van Breugel, F., Kupke, C. & Rot, J., 18 Feb 2026, 34th EACSL Annual Conference on Computer Science Logic, CSL 2026: 34th EACSL Annual Conference on Computer Science Logic (CSL 2026). Guerrini, S. & Konig, B. (eds.). Vol. 363. 22. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 363).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
Open AccessFile1 Link opens in a new tab Citation (Scopus)1 Downloads (Pure) -
Unambiguous acceptance of thin coalgebras
Chernev, A., Cirstea, C., Hansen, H. H. & Kupke, C., 20 Dec 2025, Proceedings of MFPS XLI. p. 27 6. (Electronic Notes in Theoretical Informatics and Computer Science; vol. 5).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
Open AccessFile3 Downloads (Pure)
Prizes
-
APLAS 2023 Best paper award
Nordvall Forsberg, F. (Recipient), Watters, S. (Recipient) & Kupke, C. (Recipient), 20 Oct 2023
Prize: Prize (including medals and awards)
Activities
-
Scottish Programming Language and Verification Summer School 2026
Kupke, C. (Speaker)
3 Aug 2026 → 7 Aug 2026Activity: Presenting or Organising an Event › Conference, workshop, seminar or course
-
University of Sheffield
Kupke, C. (Visiting researcher)
Jul 2026 → …Activity: Visiting an External Institution › Visiting an external academic institution