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.