Amar Bouali
副总裁（专家级咨询）
经历
自2008年1月以来，担任嵌入式专家级咨询副总裁一职。Amar Bouali于2001年1月加入爱斯特尔公司，负责研发部形式验证方面的开发工作。2003年，他成为嵌入式软件专家组经理。
从1996到2000年期间，他在INRIA进行计算机科学方面的研究，研究的课题是并发系统的形式化语言与形式验证技术。
从1993到1996年期间，他在欧洲不同的实验室工作过，比如意大利的CNR，荷兰的CWI，法国的CMA。
教育
1993:计算机科学博士学位，巴黎大学
