yabo平台在线登录

A-Z
中文

English Fran?ais

搜索
你想要找的

# 热门搜索 #

建党100周年70周年校庆卓越育人学术育人不言之教幸福之花

何积丰

1943年8月生,上海人。中国科学院院士,著名计算机软件科学家。现任yabo平台在线登录终身教授、软件学院院长,中国科学院信息学部常委会副主任,上海市科协副主席,国家可信嵌入式软件工程技术研究中心首席科学家,上海市高可信计算重点实验室主任。yabo平台在线登录第七届学术委员会委员,第一届学科建设与科学研究委员会主任委员。

主要经历

1965年2月毕业于复旦大学数学系。1965年3月起任职于yabo平台在线登录。1984年至1998年任英国牛津大学客座教授、高级研究员,1998年至2005年任澳门联合国大学国际软件技术研究所研究员,2001年任yabo平台在线登录软件学院院长,2005年当选为中国科学院院士,2010年被英国约克大学授予荣誉博士学位。

主要研究领域及成果

主要从事计算机软件理论及应用研究,针对软件的复杂性、正确性和可靠性等问题开展系统性的研究。担任国家自然科学基金委重大研究计划、科技部973计划、863计划主题项目首席科学家,领衔国家自然科学基金委创新研究群体。出版英文专著2部,在国际期刊和会议上发表论文160余篇,他引4000余次。

个人主页

https://faculty.ecnu.edu.cn/_s43/hjf2/main.psp

友情链接:ky棋牌app官网下载  bob真人  亚搏  亚搏app登录入口  十大正规网络彩票平台  亚搏app手机版  亚搏手机版官方登录  bob真人  最火的网赌app  乐鱼体育app靠谱  亚搏手机app下载色版  ag真人旗舰厅下载  bob真人  世界杯正规买球  正规买球APP排行  亚搏全站手机网页登陆  买球app排行十佳平台  乐鱼在线登录  世界杯正规买球  亚搏手机版登录界面