Short bio

Faiez Zalila is a postdoctoral researcher at Inria Lille - Nord Europe within the Spirals research team. 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 February 2017, he joined the OCCIware project and contributes to the definition and the development of the OCCIware Studio 2.0.