We study how enterprises integrate information systems and in particular how they use distributed middleware for the integration process. Based on these studies we propose and design tools that improve the way architects design and build distributed systems.

• Kernel Event Automata Library 
• AWED, Aspects With Explicit Distribution 

Main researcher: Daniel Benavides, Ph.D.

This work originated from the search of alternative mathematical methods to tackle some of the main open problems in general relativity. The inadequacy of classical relativistic formalism to give a satisfactory formulation of some of these problems revealed not just the limitations of this formalism, but also the limitations of the conception of reality derived from these tools. This brought us to the Everett interpretation of quantum mechanics and to the deeper development of these ideas by David Deutsch through quantum computation;  particularly,  the conception of quantum geometry derived from this perspective. Based on this approach we have found a mathematical framework where Deutsch-Everett ideas seem to find a natural formulation and that provides the tools to find a natural extension of classical relativistic formalism. This frame work opens the possibility to settle a definite interpretation of quantum theory revealing also interesting new pathways to affront the quantum gravity program.