• <rp id="2fot3"><i id="2fot3"></i></rp>

      1. <code id="2fot3"><sup id="2fot3"></sup></code>
      2. <font id="2fot3"><var id="2fot3"></var></font>
      3. <rt id="2fot3"></rt>
        <progress id="2fot3"></progress>
        <ruby id="2fot3"></ruby>

      4. <mark id="2fot3"><bdo id="2fot3"></bdo></mark>
      5. <code id="2fot3"><dd id="2fot3"></dd></code>

        <table id="2fot3"></table>

          謝冰

          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,“基于網絡的軟件開發群體化方法及核心技術”)。


          欧美肥胖老太videos另类,男女啪啪一级毛片无遮挡,亚洲欧美偷拍综合图区1314,男人的天堂在线无码视频,韩国午夜无码片在线观看影院中文,欧美偷窥清纯综合图区动图,天堂v无码亚洲—高无码,久久人人97超碰香蕉9,2019香蕉在线视频观看直播,青娱极品盛宴国产分类丝瓜