PhD student, Faculty of Economics and Management of Sfax-Tunisia
ACM student member
Obtaining of the Master degree in Computer Science from the Faculty of Economics and Management of Sfax-Tunisia, in 2009.
Graduated from the Faculty of Economics and Management of Sfax-Tunisia, in 2005.
Obtaining of the Baccalaureate in Mathematics at the 9 Avril 1938 Secondary School in Sfax-Tunisia, in 2001.
Email : firstname.lastname@example.org
Tel: + 216 99 51 74 55
My Ph. D. studies are supervised by Prof. Ahmed HADJ KACEM and Dr. Amira REGAYEG.
I’m interested, in particularly, to adaptive multi-agent systems engineering, model driven engineering and formal verification.
The aim of our work is to propose a model driven methodology for the development of adaptive multi-agent systems from requirement specification until code generation. Additionally, we propose to translate the semi-formal models of our methodology to a formal language (TemporalZ) in order to ensure a formal verification.