Home

Faiez Zalila is a Senior Research Engineer at CETIC within Model-Based Engineering and Distributed Systems (MBEDiS) department. He is interested in software engineering, including model driven software engineering (MDE), software language engineering (SLE) and software validation & verification (V&V). He received the M.Sc. degree in computer science from Université Toulouse III Paul Sabatier in 2010, and the Ph.D. degree in computer science from National Polytechnics Institute of Toulouse (INP Toulouse) in 2014. His thesis focused on the integration of formal verification activity for domain-specific languages. In 2015, he joined the LAAS laboratory, as postdoctoral fellows, and worked on the development of the verification toolchain for the architectural language AADL. In 2016, he became a postdoctoral researcher at the IRT Saint Exupéry (IRT AESE). He designed and implemented an interactive step-by-step simulator for the Fiacre formal language. In 2017, he joined Inria Lille - Nord Europe as a postdoctoral researcher within the Spirals research 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 with OCCI.