删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

南京航空航天大学计算机科学与技术学院导师教师师资介绍简介-陈哲

本站小编 Free考研考试/2021-02-20



其他栏目

语种 English




陈哲

副教授 硕士生导师
招生学科专业:
计算机科学与技术学院/人工智能学院 -- 计算机科学与技术 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 软件工程 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 网络空间安全 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 电子信息 --【招收硕士研究生】

性别:男
毕业院校:法国国立应用科学院
学历:博士研究生毕业
学位:工学博士学位
所在单位:计算机科学与技术学院/人工智能学院
电子邮箱:7fd76f51d0642c78a2d50c4f78ecb98b**dde2e40ebf7090fbe7f2b1d**cfd584c8516c2a82267a4d7b7d22e9a**df58ddf7112fed3352e388c8f19e**d3063a17843d69f11db5b382dca5a1131ae75a6ae4c7ed0bd18b03afb8186f72bc0249d0d9ef1ff17f9a3d967ed96661d6284dc7ba34971



访问量:
开通时间:..
最后更新时间:..


个人简介: 博士毕业于法国国立应用科学院,获计算机科学博士学位,出国前曾就读于中南大学、上海交通大学。曾任职于微软亚洲研究院,法国国家科学研究中心系统分析与架构实验室(LAAS-CNRS),从事研究开发工作。主要研究兴趣包括软件工程,软件自动验证,程序设计语言与建模语言,高可信软件等,及其在航空航天、网络、通信、物联网、信息安全等领域的应用。主持国家自然科学基金2项、参与3项。作为第一作者在SPE、COMPJ、IPL、FUIN、TSMJ、SL等著名国际学术期刊和ICSE、ISSTA、TACAS、SPIN、COMPSAC、ICFEM、TASE等著名国际会议和国内核心期刊发表了40余篇研究论文,获得2019年ACM SIGSOFT Distinguished Paper Award。

研究方向:学科研究方向一:软件工程软件工程,软件自动分析和验证,及其在航空航天软件工程中的应用。
学科研究方向二:计算机科学与技术计算机科学与技术,程序设计语言,建模语言,人工智能,自动推理和求解技术。
学科研究方向三:网络空间安全网络空间安全,信息安全,网络协议验证。
学科研究方向四:电子信息
欢迎以上各方向的考研学生联系。

发表学术论文,出版专著情况:https://drzchen.github.io/pubs.html

承担的科研项目情况:主持多项科研项目:
1. 国家自然科学基金:航电系统软件可靠性的形式化验证技术研究(U**)
2. 国家自然科学基金:基于控制机制的软件可靠性新技术及其理论研究(**)
参与多项科研项目:
3. 国家自然科学基金:基于抽象的软件符号模型检测研究(**)
等等......

指导研究生情况:目前指导多名博士生、硕士生,提供优秀的学习研究环境。
计划招收3-4名硕士研究生, 学术型和专业型都招收; 并具有招收推免生的资格。欢迎参加推免、考研的同学前来联系。


其他联系方式









邮箱 : 7fd76f51d0642c78a2d50c4f78ecb98b**dde2e40ebf7090fbe7f2b1d**cfd584c8516c2a82267a4d7b7d22e9a**df58ddf7112fed3352e388c8f19e**d3063a17843d69f11db5b382dca5a1131ae75a6ae4c7ed0bd18b03afb8186f72bc0249d0d9ef1ff17f9a3d967ed96661d6284dc7ba34971


教育经历 2007.8--2010.7
法国国立应用科学学院 计算机系统 博士研究生毕业 工学博士学位

2003.9--2006.4
中南大学 模式识别与智能系统 硕士研究生毕业 工学硕士学位

1999.9--2003.6
中南大学 计算机科学与技术 大学本科毕业 工学学士学位


工作经历2006.3--2006.9
微软亚洲研究院 自然语言计算组
2011.2--至今
南京航空航天大学计算机科学与技术学院




手机版







其他栏目

语种 English





陈哲

副教授 硕士生导师
招生学科专业:
计算机科学与技术学院/人工智能学院 -- 计算机科学与技术 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 软件工程 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 网络空间安全 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 电子信息 --【招收硕士研究生】

性别:男
毕业院校:法国国立应用科学院
学历:博士研究生毕业
学位:工学博士学位
所在单位:计算机科学与技术学院/人工智能学院
电子邮箱:7fd76f51d0642c78a2d50c4f78ecb98b**dde2e40ebf7090fbe7f2b1d**cfd584c8516c2a82267a4d7b7d22e9a**df58ddf7112fed3352e388c8f19e**d3063a17843d69f11db5b382dca5a1131ae75a6ae4c7ed0bd18b03afb8186f72bc0249d0d9ef1ff17f9a3d967ed96661d6284dc7ba34971




访问量:
开通时间:..
最后更新时间:..



研究领域 计算机科学与技术,软件工程

论文成果More>> 陈哲.The research of finite element model updating method considering the uncertainty
陈哲.Structural dynamic model updating based on augmented SVM
陈哲.Detecting memory errors at runtime with source-level instrumentation
陈哲.路由协议的自动形式化验证方法研究
陈哲.嵌套模式模板在运行时验证中的应用
陈哲.边界网关协议安全性的模型检验方法研究

专利暂无内容

著作成果暂无内容

科研项目More>> 校准装置, 2009/06/30
软件参数化和变量化需求规约的关键验证技术研究, 2016/01/12
航电系统软件可靠性的形式化验证技术研究, 2015/12/01
软件运行时验技术研究, 2011/03/14
基于控制机制的软件可靠性新技术及其理论研究, 2011/10/11
软件监测和控制技术及其理论研究





手机版







其他栏目

语种 English





陈哲

副教授 硕士生导师
招生学科专业:
计算机科学与技术学院/人工智能学院 -- 计算机科学与技术 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 软件工程 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 网络空间安全 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 电子信息 --【招收硕士研究生】

性别:男
毕业院校:法国国立应用科学院
学历:博士研究生毕业
学位:工学博士学位
所在单位:计算机科学与技术学院/人工智能学院
电子邮箱:7fd76f51d0642c78a2d50c4f78ecb98b**dde2e40ebf7090fbe7f2b1d**cfd584c8516c2a82267a4d7b7d22e9a**df58ddf7112fed3352e388c8f19e**d3063a17843d69f11db5b382dca5a1131ae75a6ae4c7ed0bd18b03afb8186f72bc0249d0d9ef1ff17f9a3d967ed96661d6284dc7ba34971




访问量:
开通时间:..
最后更新时间:..



研究领域 当前位置: 陈哲 >> 科学研究 >> 研究领域

计算机科学与技术,软件工程






手机版







其他栏目

语种 English





陈哲

副教授 硕士生导师
招生学科专业:
计算机科学与技术学院/人工智能学院 -- 计算机科学与技术 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 软件工程 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 网络空间安全 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 电子信息 --【招收硕士研究生】

性别:男
毕业院校:法国国立应用科学院
学历:博士研究生毕业
学位:工学博士学位
所在单位:计算机科学与技术学院/人工智能学院
电子邮箱:7fd76f51d0642c78a2d50c4f78ecb98b**dde2e40ebf7090fbe7f2b1d**cfd584c8516c2a82267a4d7b7d22e9a**df58ddf7112fed3352e388c8f19e**d3063a17843d69f11db5b382dca5a1131ae75a6ae4c7ed0bd18b03afb8186f72bc0249d0d9ef1ff17f9a3d967ed96661d6284dc7ba34971




访问量:
开通时间:..
最后更新时间:..



论文成果 当前位置: 陈哲 >> 科学研究 >> 论文成果

[1] 陈哲,陈哲,陈哲等.The research of finite element model updating method considering the uncertainty
[2] 陈哲,陈哲,陈哲等.Structural dynamic model updating based on augmented SVM
[3] 陈哲,陈哲,陈哲等.Detecting memory errors at runtime with source-level instrumentation
[4] 陈哲,陈哲,陈哲等.路由协议的自动形式化验证方法研究
[5] 陈哲,陈哲,陈哲等.嵌套模式模板在运行时验证中的应用
[6] 陈哲,陈哲,陈哲等.边界网关协议安全性的模型检验方法研究
[7] 陈哲,陈哲,陈哲等.Parametric runtime verification is NP-complete and coNP-complete
[8] 陈哲,陈哲,陈哲等.C程序内存安全的运行时检测方法研究和实现
[9] 陈哲,陈哲,陈哲等.Runtime verification of memory safety via source transformation
[10] 陈哲,陈哲,陈哲等.Beyond spatial and temporal memory safety
[11] 陈哲,陈哲,陈哲等.Deciding weak monitorability for runtime verification

共11条1/1 首页上页下页尾页







手机版







其他栏目

语种 English





陈哲

副教授 硕士生导师
招生学科专业:
计算机科学与技术学院/人工智能学院 -- 计算机科学与技术 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 软件工程 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 网络空间安全 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 电子信息 --【招收硕士研究生】

性别:男
毕业院校:法国国立应用科学院
学历:博士研究生毕业
学位:工学博士学位
所在单位:计算机科学与技术学院/人工智能学院
电子邮箱:7fd76f51d0642c78a2d50c4f78ecb98b**dde2e40ebf7090fbe7f2b1d**cfd584c8516c2a82267a4d7b7d22e9a**df58ddf7112fed3352e388c8f19e**d3063a17843d69f11db5b382dca5a1131ae75a6ae4c7ed0bd18b03afb8186f72bc0249d0d9ef1ff17f9a3d967ed96661d6284dc7ba34971




访问量:
开通时间:..
最后更新时间:..



专利 当前位置: 陈哲 >> 科学研究 >> 专利


共0条0/0







手机版







其他栏目

语种 English





陈哲

副教授 硕士生导师
招生学科专业:
计算机科学与技术学院/人工智能学院 -- 计算机科学与技术 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 软件工程 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 网络空间安全 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 电子信息 --【招收硕士研究生】

性别:男
毕业院校:法国国立应用科学院
学历:博士研究生毕业
学位:工学博士学位
所在单位:计算机科学与技术学院/人工智能学院
电子邮箱:7fd76f51d0642c78a2d50c4f78ecb98b**dde2e40ebf7090fbe7f2b1d**cfd584c8516c2a82267a4d7b7d22e9a**df58ddf7112fed3352e388c8f19e**d3063a17843d69f11db5b382dca5a1131ae75a6ae4c7ed0bd18b03afb8186f72bc0249d0d9ef1ff17f9a3d967ed96661d6284dc7ba34971




访问量:
开通时间:..
最后更新时间:..



著作成果 当前位置: 陈哲 >> 科学研究 >> 著作成果


共0条0/0







手机版







其他栏目

语种 English





陈哲

副教授 硕士生导师
招生学科专业:
计算机科学与技术学院/人工智能学院 -- 计算机科学与技术 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 软件工程 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 网络空间安全 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 电子信息 --【招收硕士研究生】

性别:男
毕业院校:法国国立应用科学院
学历:博士研究生毕业
学位:工学博士学位
所在单位:计算机科学与技术学院/人工智能学院
电子邮箱:7fd76f51d0642c78a2d50c4f78ecb98b**dde2e40ebf7090fbe7f2b1d**cfd584c8516c2a82267a4d7b7d22e9a**df58ddf7112fed3352e388c8f19e**d3063a17843d69f11db5b382dca5a1131ae75a6ae4c7ed0bd18b03afb8186f72bc0249d0d9ef1ff17f9a3d967ed96661d6284dc7ba34971




访问量:
开通时间:..
最后更新时间:..



科研项目 当前位置: 陈哲 >> 科学研究 >> 科研项目

[1]校准装置
[2]软件参数化和变量化需求规约的关键验证技术研究
[3]航电系统软件可靠性的形式化验证技术研究
[4]软件运行时验技术研究
[5]基于控制机制的软件可靠性新技术及其理论研究
[6]软件监测和控制技术及其理论研究
[7]软件监测和控制技术及其理论研究

共7条1/1 首页上页下页尾页







手机版







其他栏目

语种 English





陈哲

副教授 硕士生导师
招生学科专业:
计算机科学与技术学院/人工智能学院 -- 计算机科学与技术 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 软件工程 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 网络空间安全 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 电子信息 --【招收硕士研究生】

性别:男
毕业院校:法国国立应用科学院
学历:博士研究生毕业
学位:工学博士学位
所在单位:计算机科学与技术学院/人工智能学院
电子邮箱:7fd76f51d0642c78a2d50c4f78ecb98b**dde2e40ebf7090fbe7f2b1d**cfd584c8516c2a82267a4d7b7d22e9a**df58ddf7112fed3352e388c8f19e**d3063a17843d69f11db5b382dca5a1131ae75a6ae4c7ed0bd18b03afb8186f72bc0249d0d9ef1ff17f9a3d967ed96661d6284dc7ba34971




访问量:
开通时间:..
最后更新时间:..



教学资源暂无内容

授课信息 程序设计(1) /2020-2021 /春学期 /40课时 /0.0学分 /**.04

教学成果暂无内容





手机版







其他栏目

语种 English





陈哲

副教授 硕士生导师
招生学科专业:
计算机科学与技术学院/人工智能学院 -- 计算机科学与技术 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 软件工程 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 网络空间安全 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 电子信息 --【招收硕士研究生】

性别:男
毕业院校:法国国立应用科学院
学历:博士研究生毕业
学位:工学博士学位
所在单位:计算机科学与技术学院/人工智能学院
电子邮箱:7fd76f51d0642c78a2d50c4f78ecb98b**dde2e40ebf7090fbe7f2b1d**cfd584c8516c2a82267a4d7b7d22e9a**df58ddf7112fed3352e388c8f19e**d3063a17843d69f11db5b382dca5a1131ae75a6ae4c7ed0bd18b03afb8186f72bc0249d0d9ef1ff17f9a3d967ed96661d6284dc7ba34971




访问量:
开通时间:..
最后更新时间:..



教学资源 当前位置: 陈哲 >> 教学研究 >> 教学资源


共0条0/0







手机版







其他栏目

语种 English





陈哲

副教授 硕士生导师
招生学科专业:
计算机科学与技术学院/人工智能学院 -- 计算机科学与技术 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 软件工程 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 网络空间安全 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 电子信息 --【招收硕士研究生】

性别:男
毕业院校:法国国立应用科学院
学历:博士研究生毕业
学位:工学博士学位
所在单位:计算机科学与技术学院/人工智能学院
电子邮箱:7fd76f51d0642c78a2d50c4f78ecb98b**dde2e40ebf7090fbe7f2b1d**cfd584c8516c2a82267a4d7b7d22e9a**df58ddf7112fed3352e388c8f19e**d3063a17843d69f11db5b382dca5a1131ae75a6ae4c7ed0bd18b03afb8186f72bc0249d0d9ef1ff17f9a3d967ed96661d6284dc7ba34971




访问量:
开通时间:..
最后更新时间:..



授课信息 当前位置: 陈哲 >> 教学研究 >> 授课信息

本科生课程
课程名称 学年 学期 学时 学分 课程号
程序设计(1) 2020-2021 春学期 40 - **.04







手机版







其他栏目

语种 English





陈哲

副教授 硕士生导师
招生学科专业:
计算机科学与技术学院/人工智能学院 -- 计算机科学与技术 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 软件工程 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 网络空间安全 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 电子信息 --【招收硕士研究生】

性别:男
毕业院校:法国国立应用科学院
学历:博士研究生毕业
学位:工学博士学位
所在单位:计算机科学与技术学院/人工智能学院
电子邮箱:7fd76f51d0642c78a2d50c4f78ecb98b**dde2e40ebf7090fbe7f2b1d**cfd584c8516c2a82267a4d7b7d22e9a**df58ddf7112fed3352e388c8f19e**d3063a17843d69f11db5b382dca5a1131ae75a6ae4c7ed0bd18b03afb8186f72bc0249d0d9ef1ff17f9a3d967ed96661d6284dc7ba34971




访问量:
开通时间:..
最后更新时间:..



教学成果 当前位置: 陈哲 >> 教学研究 >> 教学成果


共0条0/0







手机版







其他栏目

语种 English





陈哲

副教授 硕士生导师
招生学科专业:
计算机科学与技术学院/人工智能学院 -- 计算机科学与技术 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 软件工程 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 网络空间安全 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 电子信息 --【招收硕士研究生】

性别:男
毕业院校:法国国立应用科学院
学历:博士研究生毕业
学位:工学博士学位
所在单位:计算机科学与技术学院/人工智能学院
电子邮箱:7fd76f51d0642c78a2d50c4f78ecb98b**dde2e40ebf7090fbe7f2b1d**cfd584c8516c2a82267a4d7b7d22e9a**df58ddf7112fed3352e388c8f19e**d3063a17843d69f11db5b382dca5a1131ae75a6ae4c7ed0bd18b03afb8186f72bc0249d0d9ef1ff17f9a3d967ed96661d6284dc7ba34971




访问量:
开通时间:..
最后更新时间:..



获奖信息 当前位置: 陈哲 >> 获奖信息

共0条0/0








手机版




相关话题/南京航空航天大学 计算机科学与技术学院