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.
- the coalgebraic semantics of logic & computation, and
- logics for knowledge representation and databases.
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
16 Richmond Street
Glasgow G1 1XQ
Scotland, United Kingdom
Tel. +44 (0)141 548 3121
email@example.com (one e is enough)