日前，國家自然科學基金委員會公布了2016年度國家杰出青年科學基金申請項目評審結果，軟件所計算機科學國家重點實驗室詹乃軍研究員入選國家杰出青年科學基金資助項目。

　　詹乃軍研究員長期從事計算機科學基礎研究，主要研究領域是實時和混成系統的形式化理論及其應用。他在《Information and Computation》、《Science of Computer Programming》、《Formal Aspects of Computing》、《Information Process Letters》、CAV、FM、HSCC、CSL、VMCAI、EMSOFT等國際著名刊物和重要會議上發表多篇論文，工作被國際同行多次引用。他還積極參與國際學術活動，受邀擔任多個重要學術職務。

　　國家杰出青年科學基金項目支持在基礎研究方面已取得突出成績的青年學者自主選擇研究方向開展創新研究，促進青年科學技術人才的成長，吸引海外人才，培養造就一批進入世界科技前沿的優秀學術帶頭人。2016年國家自然科學基金委員會資助國家杰出青年科學基金項目198項。

詹乃軍研究員