Esterel Technologies>Company>Management>Amar Bouali

Amar Bouali

副总裁，负责销售

经历

自 2010 年1月以来，担任嵌入式专家级咨询副总裁一职。

Amar Bouali 于 2001 年 1 月加入爱斯特尔公司，负责研发部形式验证方面的开发工作。 2003 年，他成为嵌入式软件专家组经理。

从 1996 到 2000 年期间，他在 INRIA 进行计算机科学方面的研究，研究的课题是并发系统的形式化语言与形式验证技术。

从 1993 到 1996 年期间，他在欧洲不同的实验室工作过，比如意大利的 CNR ，荷兰的 CWI ，法国的 CMA 。

教育

1993: 计算机科学博士学位，巴黎大学