meriem ouederni

  • HOME
  • SHORT CV
  • TEACHING
  • PUBLICATIONS
  • TALKS
  • TOOLS
  • CONTACT
  • SKIP_TO_CONTENT

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)



LATEST NEWS

2012


Member of ACADIE@IRIT
Teaching at N7@INPT

PROJECTS & EVENTS

  • Please, follow this link

Archive

2012
  • ATVA
  • POPL
  • ATVA
2011
  • SAC
  • FLACOS
2010
  • ICSOC
  • VTSA
  • WCSI
2009
  • FOCLASA
  • SFM:WS
  • ICSE
  • QSIC
2008
  • FACS

ADDITIONAL LINKS

  • ITACA
  • Maude
  • TOP
  • SKIP_TO_CONTENT
|| COPYRIGHT © MERIEM OUEDERNI 2013 || Meriem.Ouederni@enseeiht.fr ||