bet365体育在线-bet365游戏论坛网_凱旋門百家乐娱乐城_全讯网社区(中国)·官方网站

搜索
你想要找的

何積豐

1943年8月生，上海人。中國(guó)科學(xué)院院士，著名計(jì)算機(jī)軟件科學(xué)家。現(xiàn)任華東師范大學(xué)終身教授、軟件學(xué)院院長(zhǎng)，中國(guó)科學(xué)院信息學(xué)部常委會(huì)副主任，上海市科協(xié)副主席，國(guó)家可信嵌入式軟件工程技術(shù)研究中心首席科學(xué)家，上海市高可信計(jì)算重點(diǎn)實(shí)驗(yàn)室主任。華東師范大學(xué)第七屆學(xué)術(shù)委員會(huì)委員，第一屆學(xué)科建設(shè)與科學(xué)研究委員會(huì)主任委員。

主要經(jīng)歷

1965年2月畢業(yè)于復(fù)旦大學(xué)數(shù)學(xué)系。1965年3月起任職于華東師范大學(xué)。1984年至1998年任英國(guó)牛津大學(xué)客座教授、高級(jí)研究員，1998年至2005年任澳門(mén)聯(lián)合國(guó)大學(xué)國(guó)際軟件技術(shù)研究所研究員，2001年任華東師范大學(xué)軟件學(xué)院院長(zhǎng)，2005年當(dāng)選為中國(guó)科學(xué)院院士，2010年被英國(guó)約克大學(xué)授予榮譽(yù)博士學(xué)位。

主要研究領(lǐng)域及成果

主要從事計(jì)算機(jī)軟件理論及應(yīng)用研究，針對(duì)軟件的復(fù)雜性、正確性和可靠性等問(wèn)題開(kāi)展系統(tǒng)性的研究。擔(dān)任國(guó)家自然科學(xué)基金委重大研究計(jì)劃、科技部973計(jì)劃、863計(jì)劃主題項(xiàng)目首席科學(xué)家，領(lǐng)銜國(guó)家自然科學(xué)基金委創(chuàng)新研究群體。出版英文專(zhuān)著2部，在國(guó)際期刊和會(huì)議上發(fā)表論文160余篇，他引4000余次。

個(gè)人主頁(yè)

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

百家乐官网作弊演示| 百家乐官网街机游戏下载| 大发888出纳柜| 百家乐官网赌博合作| 澳门百家乐官方网站| 开心8百家乐官网游戏| 破战百家乐的玩法技巧和规则 | 百家乐赌博机销售| 百家乐官网有没有稳赢| 百家乐麻将牌| 百家乐官网博娱乐网赌百家乐官网的玩法技巧和规则 | 娱乐城开户送金| 百家乐官网游戏机路法| 大发888全球顶级游戏平台| 网上百家乐哪里好| 百家乐官网龙虎的投注法| 大发888 df888| 澳门百家乐洗码提成查询| 代理百家乐官网免费试玩| 十六浦娱乐城官网| 金锁玉关24山砂水断| 太阳城百家乐官网网上| 百家乐免费改| 华泰百家乐官网的玩法技巧和规则| 大连市| 如何玩百家乐游戏| 澳门百家乐官网娱乐城开户| 赢波娱乐| 威尼斯人娱乐城老品牌值得信赖| 百家乐澳门有网站吗| 太阳城百家乐官网如何看路| 齐河县| 澳门葡京赌场| 大众百家乐娱乐城| 百家乐二人视频麻将| 嘉禾百家乐官网的玩法技巧和规则 | 百家乐开闲几率| 百家乐官网五铺的缆是什么意思| 百家乐官网代理在线游戏可信吗网上哪家平台信誉好安全 | 爱拼娱乐城| 麻将二八杠技巧|