詹乃军

  • 余春燕
  • 发布于 2015-09-21
  • 4195
  • 詹乃军
  •  

    研究领域    
     

    实时和混成系统、信息物理融合系统、形式化方法、计算语义模型、程序验证

     
         

      招生信息    
     

    博士一名,硕士一名

    招生专业

    计算机软件与理论
     

    招生方向

    信息物理融合系统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: 联合国大学国际软件技术研究所,做博士论文;






     
         

      工作经历    
     

    工作简历

    2008-10--今 中科院软件所 研究员
    2004-09--2008-09 中科院软件所 副研究员
    2001-05--2004-07 德国曼海姆大学 助理研究员

    社会兼职

    2015-03--今 《Formal Aspects of Computing》编委
    2015-01--今 FME Awards Committee
    2015-01--今 《软件学报》编委
    2014-03--今 《计算机研究与发展》编委




     
         

      教授课程    
     

    模态和时序逻辑、 混成系统建模和验证

     
         

      专利与奖励    
     

    奖励信息

    专利成果





     
         

      科研活动    
     

    学术组织:ACM会员,欧洲计算机科学逻辑学会会员,欧洲符号逻辑学会会员,中国计算机学会高级会员;`
    学术任职:ATVA2006的组织委员会主席,ICECCS2006, ICECCS2012, ICTAC2007, ICTAC2008, ICTAC2009, ICTAC2010, ICTAC2012, HTSS2007, HTSS2008, KSE2009, KSE2010, KSE2011, RIVF2012, FACS2009, FACS2010, ICFEM2011, TIMES2011, TIMES2012, COMPUTATION TOOLS 2011, COMPUTATION TOOLS 2012, TAMC2012, UTP2010, UTP2012, TASE2012 等国际会议的程序委员会委员。

    在研项目

    (1) 航天嵌入式软件设计一致性验证技术及其应用,主持,国家级,2015-01--2016-12
    (2) 安全攸关软件理论和质量保障方法创新国际团队,主持,院级级,2014-01--2018-12
    (3) 安全攸关软件系统的构造与质量保障方法研究,参与,国家级,2014-01--2018-12
    (4) 航天嵌入式软件可信性保障集成环境 和示范验证与应用,参与,国家级,2012-01--2016-12