- Software engineering
- Formal specification and verification of distributed software systems
- Realizability and conformance verification
- Composition of software components and services
- Service oriented computing
Since September 2012, I am an associate professor at IRIT/INP Toulouse in France.
I held a position as a research and teaching assistant at the University of Nantes in France, from December 2011 to August 2012. I delivered lectures to students of bachelor and master levels at computer science department of UFR Nantes. I was a member of AeLoS research team at LINA Laboratory of Computer Science.
I earned an European PhD degree in Computer Science from the University of Málaga, Spain, on October 2011. My research work was financially supported by RESCUE project (TIN2008-05932) co-funded by the Spanish Ministry of Innovation and Science and FEDER. I realised my PhD thesis under supervision of Gwen Salaun (INRIA, France) and Ernesto Pimentel (UMA, Spain).
meriem dot ouederni at enseeiht dot fr (please, remove the spaces)