删除或更新信息,请邮件至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
手机版
相关话题/南京航空航天大学 计算机科学与技术学院
南京航空航天大学计算机科学与技术学院导师教师师资介绍简介-常相茂
扫描手机二维码欢迎您的访问您是第位访客开通时间:..最后更新时间:..English|手机版常相茂(副教授)赞的个人主页http://faculty.nuaa.edu.cn/cxm3/zh_CN/index.htm副教授硕士生导师招生学科专业:计算机科学与技术学院/人工智能学院--计算机科学与技术- ...南京航空航天大学师资导师 本站小编 Free考研考试 2021-02-20南京航空航天大学计算机科学与技术学院导师教师师资介绍简介-陈钢
陈钢个人信息:PersonalInformation教授博士生导师招生学科专业:计算机科学与技术学院/人工智能学院--计算机科学与技术--【招收硕士研究生】计算机科学与技术学院/人工智能学院--软件工程--【招收博士、硕士研究生】计算机科学与技术学院/人工智能学院--电子信息--【招收硕士研究生】性 ...南京航空航天大学师资导师 本站小编 Free考研考试 2021-02-20南京航空航天大学计算机科学与技术学院导师教师师资介绍简介-陈芳
更多暂无内容[1]2013.9-2018.6清华大学|生物医学工程|博士研究生毕业|工学博士学位[2]2009.9-2013.6合肥工业大学|生物医学工程|大学本科毕业|工学学士学位[3]2006.9-2009.9安徽省绩溪中学|普通高中毕业|无学位暂无内容暂无内容暂无内容暂无内容访问量:本月访问: ...南京航空航天大学师资导师 本站小编 Free考研考试 2021-02-20南京航空航天大学计算机科学与技术学院导师教师师资介绍简介-翟象平
更多手机版En个人信息:翟象平招生学科专业:计算机科学与技术学院/人工智能学院--计算机科学与技术--【招收硕士研究生】计算机科学与技术学院/人工智能学院--软件工程--【招收硕士研究生】计算机科学与技术学院/人工智能学院--电子信息--【招收硕士研究生】性别:男学位:哲学博士学位MORE+个人信息 ...南京航空航天大学师资导师 本站小编 Free考研考试 2021-02-20南京航空航天大学计算机科学与技术学院导师教师师资介绍简介-陈鸣
更多陈鸣暂无内容个人信息:招生学科专业:计算机科学与技术学院/人工智能学院--计算机科学与技术--【招收硕士研究生】计算机科学与技术学院/人工智能学院--软件工程--【招收硕士研究生】计算机科学与技术学院/人工智能学院--网络空间安全--【招收硕士研究生】计算机科学与技术学院/人工智能学院--电子信 ...南京航空航天大学师资导师 本站小编 Free考研考试 2021-02-20南京航空航天大学计算机科学与技术学院导师教师师资介绍简介-顾晶晶
更多`中文English顾晶晶硕士生导师招生学科专业:计算机科学与技术学院/人工智能学院--计算机科学与技术--【招收硕士研究生】计算机科学与技术学院/人工智能学院--软件工程--【招收硕士研究生】计算机科学与技术学院/人工智能学院--电子信息--【招收硕士研究生】学位:工学博士学位职称:教授所在单 ...南京航空航天大学师资导师 本站小编 Free考研考试 2021-02-20南京航空航天大学计算机科学与技术学院导师教师师资介绍简介-邓海
邓海个人信息:PersonalInformation教授博士生导师招生学科专业:计算机科学与技术学院/人工智能学院--计算机科学与技术--【招收硕士研究生】计算机科学与技术学院/人工智能学院--软件工程--【招收硕士研究生】计算机科学与技术学院/人工智能学院--网络空间安全--【招收博士、硕士研究生 ...南京航空航天大学师资导师 本站小编 Free考研考试 2021-02-20南京航空航天大学计算机科学与技术学院导师教师师资介绍简介-高攀
更多`中文English高攀硕士生导师招生学科专业:计算机科学与技术学院/人工智能学院--计算机科学与技术--【招收硕士研究生】学位:工学博士学位职称:讲师所在单位:计算机科学与技术学院/人工智能学院硕士生导师教师拼音名称:gaopan电子邮箱:@qq.com所在单位:计算机科学与技术学院/人工智能 ...南京航空航天大学师资导师 本站小编 Free考研考试 2021-02-20南京航空航天大学计算机科学与技术学院导师教师师资介绍简介-关东海
关东海赞副教授硕士生导师招生学科专业:计算机科学与技术学院/人工智能学院--计算机科学与技术--【招收硕士研究生】计算机科学与技术学院/人工智能学院--软件工程--【招收硕士研究生】计算机科学与技术学院/人工智能学院--电子信息--【招收硕士研究生】性别:男学历:博士研究生毕业学位:工学博士学位所在 ...南京航空航天大学师资导师 本站小编 Free考研考试 2021-02-20南京航空航天大学计算机科学与技术学院导师教师师资介绍简介-郝洁
扫描手机二维码欢迎您的访问您是第位访客开通时间:..最后更新时间:..English|手机版郝洁(副教授)赞的个人主页http://faculty.nuaa.edu.cn/haojie/zh_CN/index.htm副教授硕士生导师招生学科专业:计算机科学与技术学院/人工智能学院--计算机科学与技术 ...南京航空航天大学师资导师 本站小编 Free考研考试 2021-02-20