RESEARCH INTERESTS

• Software engineering
• Formal specification and verification of distributed software systems
• Realizability and conformance verification
• Composition of software components and services
• Service oriented computing

ABOUT ME

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). 

Email:

meriem dot ouederni at enseeiht dot fr (please, remove the spaces)