- Formal specification and verification of concurrent systems
- Compatibility and similarity of service protocols
- Software composition and adaptation
- Concurrency theory

about me

Meriem Ouederni received her PhD degree in computer science from the University of Málaga, Spain, in 2011 under supervision of Gwen Salaun (INRIA, France) and Ernesto Pimentel (UMA, Spain). Currently, she is a research assistant at the University of Málaga, working with the GISUM group.

My Reserach Work is Supported by:

RESCUE Project: TIN2008-05932 funded by the Spanish Ministry
of Innovation and Science, and FEDER