Esterel Technologies

Amar Bouali

Vice-President Sales

Experience

Amar 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 and was Vice-President of Embedded Expert Consulting until September 2008. In 2009, Amar initiated the Strategic Account management and progressively turned his role into sales operations.

From 1996 to 2000, he was a research scientist in computer sciences at the Institut National de Recherche en 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 de l'Ecole des Mines De Paris in France.

Education

1993: PhD in Computer Sciences of University of Paris 7