軟件所蔡少偉副研究員、蔡彥副研究員入選成為FCS期刊青年AE
文章來源: | 發布時間:2015-01-21 | 【打印】 【關閉】
軟件所計算機科學國家重點實驗室蔡少偉副研究員、蔡彥副研究員在2014年Frontiers of Computer Science(計算機科學前沿)簡稱(FCS)編委大會暨青年AE工作總結會議上,成功入選青年AE。
FCS期刊于2007年2月創刊,目前已被SCI(E)、Ei等國內外權威檢索系統收錄。“FCS青年AE計劃”也得到了國內許多院系和青年學者的熱情支持。2014年12月,FCS召開了年度FCS編委大會暨青年AE工作總結會議。主編李未院士,執行主編熊璋教授和周志華教授,FCS編委徐寶文、田捷、馮登國、張健,王飛躍、新晉編委張敏靈,高等教育出版社領導李冰祥、聞丹巖,以及來自全國各地高校和科研機構的近百名青年AE出席了此次大會。FCS期刊2014年共納新28人,主編李未院士為新晉編委以及新青年AE頒發了聘書,并對做出突出貢獻的青年AE和優秀青年AE進行了表彰。
蔡少偉,男,1986年生,中科院軟件所計算機國家重點實驗室副研究員。2012年于北京大學獲博士學位,獲北京大學優秀博士論文獎。主要研究NP難問題的算法設計和啟發式搜索,其十余篇論文發表在CCF列表A類期刊會議上,在可滿足性問題(SAT)和最大可滿足性問題(MaxSAT)國際比賽中多次獲獎。他針對局部搜索循環問題提出了格局檢測思想,已經被廣泛使用。最近三年SAT比賽中6個獲獎求解器都使用了該技術,尤其2013年比賽的隨機組約40%的求解器使用了該技術。擔任人工智能頂級會議AAAI的PC Member以及多個國際會議和SCI期刊審稿人。
蔡彥,男,1986年生,中科院軟件所計算機國家重點實驗室副研究員。2014年于香港城市大學獲取博士學位,研究方向為程序語言分析與軟件測試,主要研究多線程程序中并發缺陷的動態分析技術,尤其注重在大規模多線程程序中的應用。其研究成果多次發表于軟件工程國際頂級期刊和會議(例如IEEE TSE和ICSE),以及并行與分布式系統國際期刊(例如IEEE TPDS),并多次為國際著名會議和期刊審稿。