Esterel Technologies>About us>Management>Amar Bouali

Amar Bouali

Vice-President Embedded Expert Consulting

Experience

Since January 2008, Amar Bouali is Vice-President of Embedded Expert Consulting. He joined Esterel Technologies in January 2001 as a formal verification expert working in R&D projects. In 2003, he became the manager of the Embedded Software Expert Group.

From 1996 to 2000, he was a research scientist in computer sciences at the Institut National de Recherche an Informatique et Automatique (INRIA), where his research themes were formal languages for concurrent systems and formal verification techniques.

From 1993 to 1996, he developed his experience in different European research laboratories in computer sciences, namely the Consiglio Nazionale delle Ricerche (CNR) in Pisa, Italy, the Centrum voor Wiskunde en Informatica (CWI) in Amsterdam, the Netherlands, and the Centre de Mathématiques Appliquées (CMA) de l'Ecole des Mines in France.

Education

1993: PhD in Computer Sciences of University of Paris 7