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 output: Chapter in Book/Report/Conference proceeding › Conference contribution
ID: 59668604