Clemens Kupke

Basic Facts

I am working as a lecturer in the MSP group at the University of Strathclyde. My research is in logic and computer science. More specifically, I am interested in:

A close link between these two areas is provided by coalgebraic description logics. These logics constitute a family of description logics that extend basic description logics seamlessly with additional features such as the possibility to reason about probabilities.

Furthermore I am interested in coinductive specifications of infinite streams, trees and other coinductive datatypes. This line of research lead to the discovery of a connection between coalgebra and the so-called automatic sequences and I am planning to further explore this link.


Department of Computer and Information Sciences
University of Strathclyde
Livingstone Tower
16 Richmond Street
Glasgow G1 1XQ
Scotland, United Kingdom

Tel. +44 (0)141 548 3121
Room LT1318 (one e is enough)