近日，人力資源社會保障部下發《關于公布2018年享受政府特殊津貼人員名單的通知》。中國科學院軟件研究所詹乃軍研究員入選2018年享受政府特殊津貼人員。 

　　 詹乃軍研究員，現任中國科學院軟件研究所計算機科學國家重點實驗室副主任，國家杰出青年科學基金獲得者、中國科學院特聘研究員。其提出一套安全攸關復雜嵌入式系統形式設計方法，并將上述方法應用國家重大戰略工程，如探月和高鐵；解決了嵌入式系統形式驗證中的難題等等。由Springer出版專著1部、專著章節4章，中國科學出版社出版專著1部，編輯會議論文集1部，雜志專輯2輯，在著名會議和雜志發表論文近80篇。在多個國內外著名期刊編委等組織機構任職；發起成立中國計算機學會形式化方法專業委員會，并任首任秘書長(2015-)。 

　　 政府特殊津貼制度是黨中央、國務院關心愛護廣大專業技術人才、高技能人才，加強高層次、高技能人才隊伍建設的一項重大舉措，具有重要意義。