Faiez Zalila

Faiez Zalila is a Senior Research Engineer within Model-Based Engineering and Distributed Systems (MBEDiS) department. He is interested in cloud computing, software engineering, including model driven engineering (MDE), and software validation & verification (V&V).

He received the M.Sc. degree in computer science from Université Toulouse III Paul Sabatier (France) in 2010, and the Ph.D. degree in computer science from Institut National Polytechnique de Toulouse (France) in 2014. His thesis focused on the integration of formal verification activity for domain-specific languages.

In 2015, he joined the LAAS-CNRS (France), as research and development engineer, and worked on the development of the verification toolchain for the AADL language. In 2016, he became a postdoctoral researcher at the IRT Saint Exupéry (France). He designed and implemented an interactive step-by-step simulator for a formal intermediate language. In 2017, he joined Inria Lille (France) within the Spirals research project-team and contributed to the definition and the development of the OCCIware Studio 2.0, a formal model-driven framework to manage Everything as a Service.

Additional information is available here.