何积丰中國計算機科學家 / 维基百科,自由的 encyclopedia 何积丰(1943年8月—),男,上海人,中国计算机科学家,中国科学院院士。现任华东师范大学软件学院院长,华东师范大学终身教授、博士生导师。上海嵌入式系统研究所所长。研究方向为形式化方法;高可信与信息安全;并发程序设计理论;嵌入式系统设计方法和工具;软硬件混成系统协同设计等。 Quick Facts 何积丰, 出生 ...何积丰2018年的何积丰出生1943年8月(80岁) 中国上海国籍 中华人民共和国母校复旦大学知名于统一程序设计理论(英语:Unifying Theories of Programming)奖项英国先进科技女皇奖网站www.jfai-sh.com科学生涯研究领域计算机科学、形式化方法机构华东师范大学牛津大学上海交通大学联合国大学受影响自东尼·霍尔 Close
何积丰(1943年8月—),男,上海人,中国计算机科学家,中国科学院院士。现任华东师范大学软件学院院长,华东师范大学终身教授、博士生导师。上海嵌入式系统研究所所长。研究方向为形式化方法;高可信与信息安全;并发程序设计理论;嵌入式系统设计方法和工具;软硬件混成系统协同设计等。 Quick Facts 何积丰, 出生 ...何积丰2018年的何积丰出生1943年8月(80岁) 中国上海国籍 中华人民共和国母校复旦大学知名于统一程序设计理论(英语:Unifying Theories of Programming)奖项英国先进科技女皇奖网站www.jfai-sh.com科学生涯研究领域计算机科学、形式化方法机构华东师范大学牛津大学上海交通大学联合国大学受影响自东尼·霍尔 Close