约瑟夫Sifakis

约瑟夫Sifakis(1946年12月26日生于于西元,克里特岛、希腊),2007年的希腊裔法国计算机科学家和cowin点图灵奖,最高的荣誉计算机科学。

Sifakis获得了学士学位(1969)从雅典国立技术大学的电气工程和一个硕士学位(1972)和一个docteur工程师了(1974)计算机科学大学科学化等医学德格勒诺布尔(也被称为格勒诺布尔大学的我或Grenoble-1;现在更名为大学约瑟夫傅里叶),法国。1979年,他获得了大政变(大致相当于一个资格学位)数学(计算机科学专业)Grenoble-1国立格勒诺布尔理工研究所。Sifakis很快成为一个研究中心主任国家de la任职(CNRS)和Verimag实验室的创始人(1993),学术研究实验室在层面,法国附属科学研究所及大学约瑟夫傅里叶。2008年Sifakis鉴于智能车载系统新的研究椅子在法国国家en Informatique研究所等在的时候在格勒诺布尔(法国)。

yabo亚博网站首页手机大英百科全书测验

电脑和技术测试

Sifakis,独立的美国,埃德蒙·m·克拉克和他以前的研究生欧内斯特·艾伦·爱默生被引用1981年图灵奖的工作吗模型检查软件,用于自动化检测的逻辑时序电路的设计和软件中的错误。