• <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>
  • 軟件所蔡少偉副研究員、蔡彥副研究員入選成為FCS期刊青年AE

    文章來源:  |  發布時間:2015-01-21  |  【打印】 【關閉

      

    軟件所計算機科學國家重點實驗室蔡少偉副研究員、蔡彥副研究員在2014Frontiers of Computer Science(計算機科學前沿)簡稱(FCS)編委大會暨青年AE工作總結會議上,成功入選青年AE

    FCS期刊于20072月創刊,目前已被SCI(E)Ei等國內外權威檢索系統收錄。“FCS青年AE計劃”也得到了國內許多院系和青年學者的熱情支持。201412月,FCS召開了年度FCS編委大會暨青年AE工作總結會議。主編李未院士,執行主編熊璋教授和周志華教授,FCS編委徐寶文、田捷、馮登國、張健,王飛躍、新晉編委張敏靈,高等教育出版社領導李冰祥、聞丹巖,以及來自全國各地高校和科研機構的近百名青年AE出席了此次大會。FCS期刊2014年共納新28人,主編李未院士為新晉編委以及新青年AE頒發了聘書,并對做出突出貢獻的青年AE和優秀青年AE進行了表彰。

    蔡少偉,男,1986年生,中科院軟件所計算機國家重點實驗室副研究員。2012年于北京大學獲博士學位,獲北京大學優秀博士論文獎。主要研究NP難問題的算法設計和啟發式搜索,其十余篇論文發表在CCF列表A類期刊會議上,在可滿足性問題(SAT)和最大可滿足性問題(MaxSAT)國際比賽中多次獲獎。他針對局部搜索循環問題提出了格局檢測思想,已經被廣泛使用。最近三年SAT比賽中6個獲獎求解器都使用了該技術,尤其2013年比賽的隨機組約40%的求解器使用了該技術。擔任人工智能頂級會議AAAIPC Member以及多個國際會議和SCI期刊審稿人。

    蔡彥,男,1986年生,中科院軟件所計算機國家重點實驗室副研究員。2014年于香港城市大學獲取博士學位,研究方向為程序語言分析與軟件測試,主要研究多線程程序中并發缺陷的動態分析技術,尤其注重在大規模多線程程序中的應用。其研究成果多次發表于軟件工程國際頂級期刊和會議(例如IEEE TSEICSE),以及并行與分布式系統國際期刊(例如IEEE TPDS),并多次為國際著名會議和期刊審稿。

  • <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>
  • 久久久综合香蕉尹人综合网