José Antonio Martín Baena

Málaga, Andalucía Spain

Research associate

Education

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.