My main research interests are:

  • Component-based software architectures
  • Software architecture evolution
  • Architecture Description Languages
  • Formal methods and formal modeling
  • Model-Driven Engineering
  • Verification and validation
  • Search-based software engineering

My PhD thesis is entitled: A formal approach to automate the evolution management of component-based development processes. It is supervised by the professor Marianne Huchard and the associate professors Christelle Urtado and Sylvain Vauttier.

download Thesis abstract

download manuscript