置顶通知


新版网站的学生个人中心已经可以使用。各位同学可以在登陆之后单击右上角本人姓名进入并修改信息。另外需要建立个人网站的各位研究生同学请联系网站管理员(李屹)。

最新会议 [点此查看列表]

科学研究方向

信息科学系的教师和研究生主要从事人工智能、数据科学、信息安全、图像处理、软件理论等方面的科研工作。近年来,承担了国家重大基础研究计划(973)、国家科技重大专项、国家自然科学基金重大、重点和面上、国际合作、教育部博士点等项目50余项,以及多项横向应用课题。主要研究领域包括(教师按姓氏字母序排列,研究领域不分先后):

1. 图像重建和图像处理

本方向教师:甘锐、姜明、马尽文、毛珩、杨建生
研究方向:图像重建与图像处理

2. 人工智能

本方向教师:林作铨、马尽文、牟克典、孙猛、夏壁灿
研究方向: 人工智能、机器学习、智能信息处理与生物信息学、定理证明、模型检验、自动推理与程序验证

3. 数据科学

本方向教师:马尽文、牟克典、孙猛、徐茂智
研究方向: 大数据挖掘、大数据分析、云安全

4. 软件工程、程序语言与计算机科学理论

本方向教师:林作铨、孙猛、夏壁灿
研究方向: 软件工程、形式化方法、程序语言理论、符号计算、余代数理论、协调模型、计算逻辑与计算复杂性、互联网理论与应用、访问控制、信息物理融合系统

5. 网络与信息安全

本方向教师:孙猛、徐茂智
研究方向: 密码学、网络空间安全、区块链与智能合约、安全协议验证
开始时间参加人负责/参加项目来源项目类别项目名称结束时间
2013.1 夏壁灿 参加 基金委 重大项目 基于流线场共轭映射的复杂曲面高精度数控加工新方法 2017.12
2015.1 甘锐 负责 基金委 青年项目 基于形状结构线索的弱监督图像语义分割 2017.12
2015.1 姜明 负责 基金委 创新研究群体 高逼真度视听系统的理论与方法 2017.12
2015.4 姜明 负责 基金委 协作项目 基于特征的双模态图像重建 2018.3
2016.1 姜明 负责 基金委 国际合作与交流项目 高能效图像与视频处理技术:理论,实现和应用研究 2020.12
2016.1 牟克典 负责 基金委 面上项目 知识系统中不一致性的度量理论和方法及其应用研究 2019.12
2016.1 孙猛 参加 基金委 重点项目 大规模概率并发实时系统模型检验 2020.12
2017.1 马尽文 参加 基金委 联合项目 大规模纹理图像的方向多尺度聚类与解析方法研究 2019.12
2017.1 林作铨 负责 基金委 面上项目 不完全与不协调知识表示及推理 2020.12
2017.1 徐茂智 负责 基金委 面上项目 椭圆曲线离散对数研究 2020.12
2018.1 夏壁灿 负责 基金委 重点项目 面向程序验证的自动定理证明理论、方法与工具研究 2022.12
2018.1 孙猛 负责 基金委 面上项目 信息物理系统中复杂并发行为的形式化建模与验证 2021.12
开始时间 参加人 负责/参加 项目来源 项目类别 项目名称 结束时间
2001 夏壁灿 参加 科技部 国家973计划 数学机械化和自动推理平台 2003
2002 裘宗燕 负责 基金委 面上项目 实时系统理论及系统开发的形式化方法研究
2003 牟克典 参加 科技部 973计划课题 基于知识的网构软件需求建模理论和方法研究 2007
2004 裘宗燕 参加 科技部 国家973计划 数学机械化方法及其在信息技术中的应用 2006
2004 夏壁灿 参加 科技部 国家973计划 数学机械化方法及其在信息技术中的应用 2009
2005 夏壁灿 参加 科技部 国家973计划 海量信息的协同性和可生存性的理论与实践研究 2010
2005 夏壁灿 负责 北大工程研究院 网络环境下的计算理论与计算复杂性研究 2006
2005 夏壁灿 参加 基金委 面上项目 实代数符号计算在形式化方法中的应用 2007
2005 孙猛 参加 新加坡A*STAR科技基金 Tools and Techniques for Model Based Software Debugging 2006
2005 孙猛 参加 基金委 面上项目 余代数及其在软件方法学中的应用 2007
2006 裘宗燕 负责 基金委 面上项目 复杂状态程序和系统的语义模型研究
2006 孙猛 参加 荷兰NWO基金 Coordination with Performance Guarantees 2010
2006 夏壁灿 中方负责人 法国国家信息与自动化研究院(INRIA)的国际合作项目 Solvers for ALgebraic Systems and Applications (Chinese SALSA) 2008
2006 牟克典 参加 科技部 863计划 知识制导的需求工程技术研究 2008
2007 夏壁灿 负责 教育部 新世纪优秀人才支持计划 2010
2008 裘宗燕 负责 基金委 面上项目 Web服务编排和协作的形式化模型
2008 裘宗燕 负责 基金委 面上项目 对象封装和保护的理论和技术研究
2008 孙猛 参加 荷兰NWO-德国DFG 国际合作 Synthesis and Analysis of Component Connectors 2010
2008 孙猛 参加 欧盟第7框架IST 国际合作 Compliance-driven Models, Languages, and Architectures for Services 2010
2008 夏壁灿 参加 基金委 重点项目 基于计算机代数的嵌入式软件分析与验证方法及工具 2010
2008 牟克典 负责 基金委 青年基金 基于逻辑的不一致需求管理方法 2010
2009 夏壁灿 参加 基金委 国际合作与交流项目 代数系统的准确可信计算 2012
2009 牟克典 参加 基金委 重大研究计划 环境知识驱动的软件可信性需求工程方法与技术研究 2012
2009 牟克典 参加 科技部 973计划课题 网构软件的可信和服务质量需求建模与分析 2013
2010.1 甘锐 负责 教育部 博士点基金 基于最大距离梯度和非刚性配准医学图像分割 2012.12
2010.1 林作铨 负责 基金委 面上项目 超协调缺省逻辑及其应用 2012.12
2010.1 林作铨 负责 教育部 博士点基金 非单调超协调逻辑 2012.12
2011.1 姜明 负责 科技部 国家973计划 信号分子时空随机性与介观行为稳健性 2012.12
2011.1 马尽文 负责 科技部 国家科技重大专项子项 地震属性提取与分析
2011.1 马尽文 负责 教育部 博士点基金 基于BYY和谐学习的RBF网络及其在非线性时间序列预测中的应用
2011.1 裘宗燕 负责 中科院软件所 开放课题 面向对象程序的形式化模型与验证理论 2012.12
2011.1 孙猛 负责 中科院软件所 开放课题 构件化软件的QoS验证及测试方法研究 2012.12
2011.1 夏壁灿 参加 基金委 重大研究计划培育项目 基于计算机代数的我国高速列车运行控制系统规范CTCS-3/4的分析与验证 2011.12
2011.1 甘锐 参加 其他部门 探索项目 基于非完美结构重复性的建筑建模 2012.6
2011.1 甘锐 参加 基金委 青年项目 基于近似重复结构的建筑建模、修复和绘制 2013.12
2012.1 马尽文 负责 基金委 面上项目 基于数据学习的高斯过程混合体的模型选择及其应用研究 2015.12
2012.1 毛珩 负责 基金委 青年项目 时空多尺度神经环路活体成像技术 2014.12
2012.1 牟克典 负责 基金委 面上项目 不一致、不完整和不确定的软件需求规约的集成式分析和处理方法研究 2015.12
2012.1 裘宗燕 参加 基金委 青年项目 面向对象程序的形式化规范与验证 2014.12
2012.1 夏壁灿 负责 中科院软件所 开放课题 混成系统设计与验证中的符号计算方法和工具 2014.12
2013.1 裘宗燕 负责 基金委 面上项目 面向对象程序的分离逻辑理论基础 2016.12
2013.1 孙猛 负责 基金委 青年项目 基于 Reo 的协调理论及其在信息物理系统开发方法中的应用 2015.12
2013.1 孙猛 负责 教育部 博士点基金 基于 Reo 的实时及混成连接件建模与验证方法 2015.12
2013.1 夏壁灿 负责 基金委 面上项目 半代数系统的高效求解算法及其在不等式机器证明中的应用 2016.12
2013.1 徐茂智 负责 基金委 面上项目 椭圆曲线密码的计算与分析研究 2016.12
2014.1 林作铨 负责 教育部 博士点基金 语义web本体的理论基础和算法实现 2016.12