• <u id="saeeq"><wbr id="saeeq"></wbr></u>
  • <s id="saeeq"><div id="saeeq"></div></s>
  • <u id="saeeq"></u>
  • <u id="saeeq"><noscript id="saeeq"></noscript></u>
  • <s id="saeeq"></s>
  • 國際合作
      

    軟件所已和世界上40多個國家與地區建立密切的學術聯系及多種形式的技術合作關系,平均每年邀請和接待國外學術界、企業界人士數百人次。圖靈獎獲得者Amir Pnueli、Tony Hoare、姚期智等國際著名科學家都曾到軟件所訪問講學。

    軟件所與國際學術團體合作,主辦了多種重要國際學術會議。如,面向對象語言與系統技術國際會議、國際信息與通信安全國際會議、首屆亞太區萬維網技術與應用國際會議、亞洲邏輯和軟件工程國際會議、亞洲邏輯會議、APCHI亞太人機界面會議等,為增加國際間學術交流、人才培養、提高研究水平做出了貢獻。

    隨著國際經濟一體化進程的迅速發展與軟件所整體水平的國際認可,軟件所與一些國際著名大學、研究機構和公司建立了合作關系。

    共建研發、培訓機構
    • ISCAS/USC-CSE軟件工程聯合實驗室(南加州大學)
    • ISCAS/UMass-LASER軟件工程聯合實驗室(麻省大學)
    • ISCAS/Altair高性能計算與網格計算軟件聯合研究中心
    • ISCAS/UQITEE數據與軟件工程聯合研究實驗室(昆士蘭大學)
    • NFS-China/Sun操作系統技術聯合實驗室(SUN公司)
    • Mozilla中國中心(Mozilla Foundation)
    • 微軟高技術培訓中心(微軟公司)
    舉辦大型國際學術會議
    • 面向對象語言與系統技術國際會議
    • 信息與通信安全國際會議
    • SKLOIS信息安全與密碼學國際會議
    • 首屆亞太區萬維網技術與應用國際會議
    • 亞洲邏輯和軟件工程國際會議
    • 亞洲邏輯會議
    • APCHI亞太人機界面會議
    • 軟件過程技術國際研討會
    • 序列及其應用國際學術交流會
    • 驗證與分析的自動技術國際會議
    • 計算模型的理論及應用年會
    交流與互訪
    • 圖靈獎獲得者Amir Pnueli、Tony Hoare、Robin Milner、Juris Hartmanis、姚期智等國際著名科學家都曾到軟件所訪問講學;
    • 周巢塵院士于1997至2002年擔任聯合國大學國際軟件技術研究所所長;
    • 2006年,軟件所共接待來自美、英、日、法、德共28個國家和地區的215人來所訪問,軟件所共派出129人次去往美、英、日、法、德等23個國家交流訪問;
    • 為吸引國外優秀科學家和中青年學者來所進行交流訪問,進一步促進國際交流與合作,軟件所每年設立100萬元的國際交流合作基金。
    國際項目合作
    • 目前,軟件所已與美國的Intel、IBM、Microsoft、Lucent、BEA公司;日本的NEC、NTT/NTT DATA、Panasonic、Mitsubishi公司;法國的France Telcom;澳地利的Innsbruck大學等有著項目合作關系。
    國際交流學者計劃

    政策規章與辦事流程


  • <u id="saeeq"><wbr id="saeeq"></wbr></u>
  • <s id="saeeq"><div id="saeeq"></div></s>
  • <u id="saeeq"></u>
  • <u id="saeeq"><noscript id="saeeq"></noscript></u>
  • <s id="saeeq"></s>
  • 久久久综合香蕉尹人综合网