Edinburgh Research Explorer
Profile photo

Research Interests

Theoretical notions behind computer science. In particular, automated reasoning and its relation to ontological management of data. Additionally, the mathematical and theoretical study of software modularity and other more general notions of modularity and elasticity.

ID: 59668604