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
-
Maths DTP 2021/22 University of Strathclyde | Watters, Sean
Kupke, C., Nordvall Forsberg, F. & Watters, S.
EPSRC (Engineering and Physical Sciences Research Council)
1/10/21 → 1/10/25
Project: Research Studentship - Internally Allocated
-
-
A fresh look at commutativity: free algebraic structures via fresh lists
Kupke, C., Nordvall Forsberg, F. & Watters, S., 29 Nov 2023, (E-pub ahead of print) p. 1-20. 20 p.Research output: Contribution to conference › Paper › peer-review
Open AccessFile33 Downloads (Pure) -
Forward and backward steps in a fibration
Turkenburg, R., Beohar, H., Kupke, C. & Rot, J., 23 Jun 2023.Research output: Contribution to conference › Paper › peer-review
Prizes
-
APLAS 2023 Best paper award
Nordvall Forsberg, Fredrik (Recipient), Watters, Sean (Recipient) & Kupke, Clemens (Recipient), 20 Oct 2023
Prize: Prize (including medals and awards)
-
Scottish Programming Languages and Verification Summer School 2024
Guillaume Allais (Organiser), Sean Watters (Organiser), Bob Atkey (Organiser), Fredrik Nordvall Forsberg (Organiser), Conor Mc Bride (Organiser), Jan de Muijnck-Hughes (Organiser), Alasdair Lambert (Organiser), Malin Altenmüller (Organiser) & Clemens Kupke (Organiser)
29 Jul 2024 → 2 Aug 2024Activity: Participating in or organising an event types › Organiser of special symposia
-
Contributed talk TYPES 2024: "Extensional Finite Sets and Multisets in Type Theory"
Fredrik Nordvall Forsberg (Contributor), Sean Watters (Speaker) & Clemens Kupke (Contributor)
13 Jun 2024Activity: Talk or presentation types › Oral presentation