Juan Casanova

Juan Casanova

If you made any changes in Pure these will be visible here soon.

Personal profile

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.


Dive into the research topics where Juan Casanova is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles


Recent external collaboration on country/territory level. Dive into details by clicking on the dots or