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
-
Thin coalgebraic behaviours are inductive
Chernev, A., Cîrstea, C., Hansen, H. H. & Kupke, C., 9 Oct 2025, 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Piscataway, NJ: IEEE, p. 761-775 15 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
-
Relative fixed points of functors
Schoen, E., Master, J. & Kupke, C., 25 Aug 2025, In: Fundamenta Informaticae. 194, 2, 26 p., 1.Research output: Contribution to journal › Article › peer-review
Open AccessFile1 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)
-
Scottish Programming Languages and Verification Summer School 2024
Allais, G. (Organiser), Watters, S. (Organiser), Atkey, B. (Organiser), Nordvall Forsberg, F. (Organiser), Mc Bride, C. (Organiser), de Muijnck-Hughes, J. (Organiser), Lambert, A. (Organiser), Altenmüller, M. (Organiser) & Kupke, C. (Organiser)
29 Jul 2024 → 2 Aug 2024Activity: Presenting or Organising an Event › Organiser of special symposia
-
Contributed talk TYPES 2024: "Extensional Finite Sets and Multisets in Type Theory"
Nordvall Forsberg, F. (Contributor), Watters, S. (Speaker) & Kupke, C. (Contributor)
13 Jun 2024Activity: Talk or Presentation › Oral presentation