Projects per year
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
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
-
Dual adjunction between Ω-automata and Wilke algebra quotients
Chernev, A., Hansen, H. H. & Kupke, C., 22 Nov 2024, Theoretical Aspects of Computing – ICTAC 2024: 21st International Colloquium, Proceedings. Anutariya, C. & Bonsangue, M. M. (eds.). Cham, Switzerland: Springer, p. 96-113 18 p. (Lecture Notes in Computer Science; vol. 15373).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
Open AccessFile -
A categorical approach to coalgebraic fixpoint logic
Schoen, E., Kupke, C., Rot, J. & Turkenburg, R., Aug 2024, Coalgebraic Methods in Computer Science - 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Proceedings. König, B. & Urbat, H. (eds.). Springer Science and Business Media Deutschland GmbH, p. 23-43 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14617 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
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: Participating in 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