约瑟夫·希发基思｜约瑟夫·希发基思简介｜约瑟夫·希发基思联系方式｜约瑟夫·希发基思视频｜约瑟夫·希发基思授课邀请

约瑟夫·希发基思

/Upload/20240510151441tBbV.jpg

2007年图灵奖得主、中国科学院外籍院士、法国工程院院士、欧洲科学院院士、法国科学院院士、美国人文与科学院院士、美国国家工程院外籍院士

约瑟夫·希发基思（Joseph Sifakis），男，1946年12月出生于希腊，希腊和法国双重国籍，计算机科学家，中国科学院外籍院士，法国工程院院士，欧洲科学院院士，法国科学院院士，美国人文与科学院院士，美国国家工程院外籍院士，法国Verimag实验室荣誉科研主任。约瑟夫·希发基思1969年获雅典技术大学电子工程学士学位，1974年获法国格勒诺布尔大学计算机科学博士学位。2007年获国际计算机界最高奖“图灵奖”。2008年当选法国工程院院士和欧洲科学院院士，2010年当选法国科学院院士，2015年当选美国人文和科学院院士，2017年当选美国工程院外籍院士。现任法国国家科学中心主任研究员。希发基思教授的主要研究领域是模型检测及嵌入式系统设计与验证。模型检测已被应用于计算机硬件、软件、通信协议、安全认证协议等领域，成为分析、验证并发系统性质的最重要的技术，被Intel、IBM、微软等公司用于日常生产实践中。由于对模型检测的开创性贡献，他与Clarke教授、Emerson教授分享了2007年图灵奖。希发基思教授也是欧洲嵌入式系统研究的先驱。嵌入式系统现广泛存在于航天、航空、汽车、火车、通信、医疗、武器等安全攸关的领域。

详细介绍

2007年图灵奖得主、中国科学院外籍院士、法国工程院院士、欧洲科学院院士、法国科学院院士、美国人文与科学院院士、美国国家工程院外籍院士

上一篇：罗杰·瑞迪

下一篇：丹尼尔·卡门

— 快速发布需求 —

推荐讲师

李德毅

指挥自动化和人工智能专家。1944年11月出生于江苏省泰县（现江苏省泰州市姜堰区）。中国工程院院士、欧亚科学院院士，指挥自动化和人工智能专家。1944年出生于江苏省。1967年毕业于南京工学院，1983年获英国爱丁堡海里奥特·瓦特大学博士学位。现任总参第61研究所研究员，中国指挥和控制学会名誉理事长，中国人工智能学会理事长。李德毅参加了多项电子信息系统重大工程的研制和开发；最早提出“控制流—数据流”图对理论和一整套用逻辑语言实现的方法；证明了关系数据库模式和谓词逻辑的对等性；提出云模型、云变换、云推理、云控制等方法用于不确定性认知和云计算，在智能控制“三级倒立摆动平衡”实验和智能驾驶中取得显著成效。获国家和省部级二等奖以上奖励9项，获得10项发明专利，发表论文130多篇，出版中文著作5本、英文专著3本。现为北京邮电大学计算机学院院长。1967年毕业于南京工学院（现东南大学），1983年获英国爱丁堡海里奥特·瓦特大学博士学位。现任中国电子系统工程研究所副所长，国家自然科学基金委员会信息科学部主任。
袁岳

袁岳，零点研究咨询集团董事长兼总裁，创业管理服务机构飞马旅发起人，知名独立媒体人，央视策略顾问，飞驴湾首席国际旅行家，零点青年公益创业发展中心理事长，“黑苹果青年项目”发起人。北京大学社会学博士，哈佛大学肯尼迪政府学院MPA，西南政法大学法学硕士，2007年耶鲁世界学者。中国市场研究协会副会长，北京科技咨询业协会理事长，世界专业研究人士协会(ESOMAR)原中国区代表，国际管理咨询机构协会(AMCF)前副主席兼原中国区代表，北京留学生商会副会长，哈佛校友会理事，世界园艺博览会文化艺术委员会委员，中国国家标准委员会社调市调标委会委员，公益基金会中心与友成企业家扶贫基金会顾问。清华大学、南开大学、西南交大、中国传媒大学、中央美术学院等高校的兼职教授、EMBA/MBA/MPA兼职导师。在组织管理、高级谈判、市场营销、品牌管理、政策分析方法、社会群体研究方面有相当研究，担任多家重要媒体和企业的长期管理顾问。发表有管理学、经济学、社会学、法学等方面论述二十余册。
倪光南

倪光南，1939年8月1日出生于浙江宁波，计算机专家，中国工程院院士，中国科学院计算技术研究所研究员。 1961年倪光南从南京工学院毕业后被分配到中国科学院计算技术研究所工作；1964年作为外部设备插件组长参与的119机研制项目获得全国科技大会奖；1968年参与717机显示器研制；1981年至1983年在加拿大国家研究院做访问研究员；1984年初组织课题组研发出了汉字处理的第二项产品，即“LX－80联想式汉字图形微型机系统”；11月应邀出任“中国科学院计算技术研究所新技术发展公司”总工程师；1989年11月14日计算所公司改名为联想集团公司，倪光南担任公司董事兼总工，主持开发了联想系列微机；1994年被遴选为中国工程院首批院士；1999年被联想集团解聘；2002年至2011年担任第五、六届中国中文信息学会理事长；2011年获得中国中文信息学会终身成就奖；2015年获得中国计算机学会终身成就奖。倪光南一直从事计算机及其应用的研究与开发，参与研制中国自行设计的第一台电子管计算机（119机），20世纪六、七十年代开展汉字处理和字符识别研究，首创在汉字输入中应用联想功能。
邬贺铨

邬贺铨，男，汉族，中共党员，1943年1月16日出生于广东省广州市，原籍广东省番禺县（今广州市番禺区），中国工程院院士，光纤传送网与宽带信息网专家，重庆邮电大学名誉校长，曾任中国工程院副院长，电信科学技术研究院副院长兼总工程师，大唐电信集团副总裁，中国互联网协会理事长。 1964年，邬贺铨毕业于武汉邮电学院； 1964年6月至1969年6月，工作于邮电部邮电科学研究院；1969年6月至1975年6月，工作于四川眉山电信总局505厂；1975年6月至1979年6月，工作于重庆邮电部第九研究所；1979年6月至1993年6月，任成都邮电部第五研究所数字通信研究室主任；1993年6月至1999年6月，先后任电信科学技术研究院副院长兼总工程师，大唐电信集团副总裁；1999年当选为中国工程院院士； 2002年1月至2010年1月，任中国工程院副院长。邬贺铨长期从事光通信系统和数字通信网的研究与项目管理工作。
高红冰

高红冰，现任阿里巴巴副总裁、政策研究室主任、高级研究员，是中国社科院信息化研究中心理事和特邀研究员，浙江省委党校特聘教授，信息社会50人论坛成员。高红冰是中国互联网资深人士，承担过中宣部、国家安全部、发改委、工信部、知识产权总局等十多项中央、国务院有关部门的互联网政策和战略研究课题。曾担任华为、腾讯、百度、阿里巴巴集团等多家大型互联网和IT公司的常年政策与战略顾问。