个人简介

詹乃军男博导中国科学院软件研究所 招生专业 081202-计算机软件与理论 招生方向 信息物理融合系统CPS 程序理论与验证技术 基于构件的开发方法 教育背景 1997-09--2000-07中科院软件所博士 1993-09--1996-06南京大学计算机科学与技术系硕士 1989-09--1993-06南京大学数学系学士 出国学习工作 •2011.12.1—2011.12.15:丹麦工业大学计算机系，访问教授； •2011.2.12—2011.3.7:美国新墨西哥大学计算机系，访问教授； •2010.7.30—2010.8.13:新加坡南洋科技大学，访问教授； •2006.9—2006.11,2007.9—2007.11,2009.8—2009.10：三次访问联合国大学国际软件技术研究所，高级访问学者； •2008.10.17—2008.10.31,2009.7.25—2009.8.7：两次访问保加利亚科学院数学和信息研究所，访问教授； •2001.5—2004.7:德国曼海姆大学数学和计算机科学学院实用信息第二研究所，助理研究员； •2000.5—2000.7:联合国大学国际软件技术研究所，访问学者； •1998.7—1999.10:联合国大学国际软件技术研究所，做博士论文； 工作简历 2016-01~现在,中国科学院,特聘研究员 2015-03~现在,中国科学院大学,岗位教授 2008-10~现在,中科院软件所,研究员 2004-09~2008-09,中科院软件所,副研究员 2001-05~2004-07,德国曼海姆大学,助理研究员 教授课程 离散数学 数理逻辑与程序理论 模态和时序逻辑 混成系统建模和验证 发表著作 （1）混成系统的形式建模、分析与验证,FormalModelling,Analysis,VerificationofHybridSystems,Springer-Verlag,2013-05,第1作者 （2）CombiningFormalandInformalMethodsintheDesignofSpacecrafts,Springer,2016-01,第2作者 （3）DependableSoftwareEngineering:Theories,Tools,andApplications-SecondInternationalSymposium,SETTA2016,Beijing,China,November9-11,2016,Proceedings.LectureNotesinComputerScience9984,2016,ISBN978-3-319-47676-6.,Springer,2016-10,第3作者 （4）FormalVerificationofSimulink/StateflowDiagrams:ADeductiveWay,Springer,2016-12,第1作者 （5）形式语义学引论,科学出版社,2017-10,第2作者 （6）SymposiumonReal-TimeandHybridSystems-EssaysDedicatedtoProfessorChaochenZhouontheOccasionofHis80thBirthday.LectureNotesinComputerScience11180,Springer2018,ISBN978-3-030-01460-5.,Springer,2018-04,第3作者 （7）Proceedingsofthe17thACM-IEEEInternationalConferenceonFormalMethodsandModelsforSystemDesign,MEMOCODE2019,ACM,2019-10,第4作者 科研活动 学术组织：ACM会员，欧洲计算机科学逻辑学会会员，欧洲符号逻辑学会会员，中国计算机学会高级会员;` 学术任职：ATVA2006的组织委员会主席,ICECCS2006,ICECCS2012,ICTAC2007,ICTAC2008,ICTAC2009,ICTAC2010,ICTAC2012,HTSS2007,HTSS2008,KSE2009,KSE2010,KSE2011,RIVF2012,FACS2009,FACS2010,ICFEM2011,TIMES2011,TIMES2012,COMPUTATIONTOOLS2011,COMPUTATIONTOOLS2012,TAMC2012,UTP2010,UTP2012,TASE2012等国际会议的程序委员会委员。 在研项目 （1）航天嵌入式软件可信性保障集成环境和示范验证与应用,参与,国家级,2012-01--2016-12 （2）安全攸关软件系统的构造与质量保障方法研究,参与,国家级,2014-01--2018-12 （3）航天嵌入式软件设计一致性验证技术及其应用,主持,国家级,2015-01--2016-12 （4）安全攸关软件理论和质量保障方法创新国际团队,主持,部委级,2014-01--2018-12 （5）复杂安全攸关嵌入式系统形式设计,主持,国家级,2017-01--2021-12 （6）面向程序验证的自动定理证明理论、方法和工具研究,参与,国家级,2018-01--2022-12 （7）智能控制系统形式设计验证及应用,主持,国家级,2019-06--2022-05 参与会议 （1）FormalAnalysis,VerificationandDesignofSafety-CriticalCPS2019-12-03 （2）TamingDelaysinCyber-PhysicalSystems2019-11-08 （3）GeneratingSystemCcodefromdelayHCSP2017-11-27 （4）GeneratingSystemCcodefromHCSPFormalModels2017-11-03 （5）FormalDesignofEmbeddedSystems西湖论坛2017-10-28 （6）FormalDesignofEmbeddedSystems中国数学学会数理逻辑专业委员会年会2017-05-27 已指导学生 权曌硕士研究生430112-计算机技术 赵恒军博士研究生081202-计算机软件与理论 高杨硕士研究生081202-计算机软件与理论 邹亮博士研究生081202-计算机软件与理论 郭丹青硕士研究生081202-计算机软件与理论 彭宇硕士研究生081202-计算机软件与理论 陈明帅博士研究生081202-计算机软件与理论 刘涛硕士研究生081202-计算机软件与理论 王健硕士研究生081202-计算机软件与理论 现指导学生 王秋野博士研究生081202-计算机软件与理论 占浩澜硕士研究生081202-计算机软件与理论 林倩倩硕士研究生081202-计算机软件与理论 王令泰博士研究生081202-计算机软件与理论 冯胜华博士研究生081202-计算机软件与理论 金翔宇硕士研究生081202-计算机软件与理论 杨腾舜博士研究生081202-计算机软件与理论 苏涵博士研究生081202-计算机软件与理论