<track id="jptvx"><cite id="jptvx"><strike id="jptvx"></strike></cite></track>

    <listing id="jptvx"></listing>
    <nobr id="jptvx"><b id="jptvx"><video id="jptvx"></video></b></nobr>

    <mark id="jptvx"></mark><font id="jptvx"><pre id="jptvx"><dfn id="jptvx"></dfn></pre></font>

    <output id="jptvx"><sub id="jptvx"><meter id="jptvx"></meter></sub></output>

    <mark id="jptvx"><pre id="jptvx"></pre></mark>

    <cite id="jptvx"><track id="jptvx"></track></cite>

        <span id="jptvx"></span>
        <sub id="jptvx"></sub>
        <delect id="jptvx"></delect>

              <th id="jptvx"><ins id="jptvx"><em id="jptvx"></em></ins></th>

                謝冰

                cism組委會 ? 發表于:2019-11-21 10:43:00 ? 更新于:2019-11-21 10:42:38

                a9111136c4a1c4de5524be04aa01bcf7.png


                謝冰,1970年生于湖南省?,F任北京大學信息科學技術學院副院長,軟件研究所所長,教授,國家杰出青年基金獲得者,入選教育部新世紀優秀人才計劃、北京市科技新星計劃,獲“中創軟件人才獎”。


                1998年畢業于國防科技大學計算機學院,獲博士學位。主要研究領域包括軟件工程、計算機理論科學和分布式系統等。作為課題負責人,先后承擔了國家863計劃、科技支撐計劃、國家重點專項、北京市科委重點課題、國家自然科學基金委杰出青年基金等重點項目9項,參與973、863計劃、基金重點等課題5項。在軟件工程技術研發和國產軟件工具研發與產業化方面做出了重要的貢獻,主要成果在軟件行業、信息服務業、國防軍工領域、集成電路設計領域中廣泛應用。在FSE、POPL等軟件工程與程序語言領域頂級會議、主流會議和期刊上發表論文70余篇。學術兼職包括:中國軟件行業協會理事、中國計算機學會高級會員,電子學報英文版編委。曾獲2006年國家科技進步二等獎(排名第3,“基于Internet、以構件庫為核心的軟件開發平臺”)、2009年北京市科學技術獎技術發明類二等獎(排名第1,“青鳥軟件質量保證支撐工具體系”)、2012年教育部高等學??茖W技術進步一等獎(排名第1,“可信軟件資源生產與共享環境Trustie-TSE”),2015年國家技術發明二等獎(排名第2,“基于網絡的軟件開發群體化方法及核心技術”)。


                一本大道香蕉999综合视频|国产哺乳期挤奶在线观看|欧美牲交作爱在线aAV|亚洲欧美人与动人物在线|中文字幕亚洲无线码小说|欧美精品视频在线第一页|掌上啪啪资源站先锋影音,影音先锋在线资源站无限制,国产成人综合亚洲欧美日韩,亚洲欧美在线综合色影视