Experience
    Education
    Bio
    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: the coalgebraic semantics of logic & computation, and logics for knowledge representation and databases. 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.