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.

Research outputs

  1. The Use of Max-Sat for Optimal Choice of Automated Theory Repairs

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

View all (1) »

ID: 59668604