I'm a computer engineer and scientist with a PhD in Software Engineering from the University of M谩laga. I'm also taking electronic courses in the telecommunications degree.
My research focuses on the formal coordination and verification of distributed systems. This research has been applied to the adaptation of behavioral services (i.e., stateful --think of an I/O automaton or any LTS in general) by means of so-called Adaptation Contracts. These contracts were used to automatically synthesise orchestrators able to overcome incompatibilities in signature, behaviour and security policies between services while avoiding deadlocks and livelocks.
We鈥檝e updated our privacy policy so that we are compliant with changing global privacy regulations and to provide you with insight into the limited ways in which we use your data.
You can read the details below. By accepting, you agree to the updated privacy policy.
