Clemens Kupke

Clemens Kupke is a Senior Lecturer in the Department of Computer and Information Sciences at the University of Strathclyde, part of the Faculty of Science. His research focuses on theoretical computer science, formal methods, and coalgebraic systems. He leads projects such as Cover: Coalgebraic Foundations for Quantitative Verification and contributed to the Maths DTP 2021/22 grant. Kupke has organized events like the Scottish Programming Languages and Verification Summer School (2024, 2019) and presented at conferences including TYPES 2024. His work emphasizes coalgebraic logic, automata theory, and database foundations, with notable contributions to semi-structured data models and query languages.

Research Interests: His core areas include coalgebraic modal logic, automata theory, and formal verification. He explores how coalgebra can unify diverse data models and query languages, particularly in semi-structured data contexts. Recent projects address quantitative verification techniques and categorical approaches to fixpoint logics.

Awards: He received the APLAS 2023 Best Paper Award for collaborative work. His publications span theoretical aspects of computing, with a focus on foundational methods in programming languages and verification.

Grants & Supervision: Principal Investigator on the £1.5M EPSRC-funded Cover project (2020–2025) and co-investigator on KTP projects. He mentors researchers in formal methods and has supervised work on type theory and algebraic structures. Current grants include collaboration with Nordvall Forsberg and Watters on foundational programming languages research.