南京理工大学教师信息

关闭

1. 指导学科
2. 工作经历
3. 教育经历
4. 获奖荣誉
5. 科研项目
6. 发表论文
7. 教学活动

硕士报考志愿采集更新日期：2023年7月2日

姓名	颜克冬	性别	男
出生年月	1986年11月	籍贯	邳州市
民族	汉族	政治面貌	中国共产党党员
最后学历	博士研究生	最后学位	工学博士
技术职称	副教授	导师类别	硕士生导师
导师类型	校内	兼职导师	否
行政职务		Email	yan@njust.edu.cn
工作单位	计算机科学与工程学院	邮政编码
通讯地址
单位电话
个人主页

指导学科

学科专业(主)	0812\|计算机科学与技术	招生类别	硕士	所在学院	计算机科学与工程学院
研究方向	数据挖掘，神经网络形式化验证，优化理论及应用

学科专业（辅）	0839\|网络空间安全	招生类别	硕士	所在学院	网络空间安全学院
研究方向	人工智能安全与隐私保护

工作经历

2022.6-现在，南京理工大学，计算机科学与工程学院，副教授

2017.6-2022.5，南京理工大学，计算机科学与工程学院，讲师

教育经历

2009.9-2017.2，高丽大学，信息管理工程，工学博士

2005.9-2009.7，哈尔滨工业大学，计算机科学与技术，工学学士

获奖、荣誉称号

江苏省双创博士，2018

科研项目

[1] 国家重点实验室开放基金，2022

[2] 国家自然科学基金青年项目，2019 – 2021

[3] 江苏省博士后项目，2019 – 2020

发表论文

[1] Kedong Yan, Hong Seo Ryoo. Graph, Cliques and Facets of Boolean Logical Polytope: Journal of Global Optimization 82(4): 1015–1052 (2022).

[2] Kedong Yan, Dongjing Miao, Cui Guo, Chanying Huang. Efficient Feature Selection for Logical Analysis of Large-scale Multi-class Datasets: Journal of Combinatorial Optimization 42: 1–23 (2021).

[3] Kedong Yan, Hong Seo Ryoo. A Multi-term, Polyhedral Relaxation of a 0-1 Multilinear Function for Boolean Logical Pattern Generation: Journal of Global Optimization 74(4): 705–735 (2019).

[4] Kedong Yan, Hong Seo Ryoo. Strong Valid Inequalities for Boolean Logical Pattern Generation: Journal of Global Optimization 69(1): 183–230 (2017).

[5] Kedong Yan, Hong Seo Ryoo. 0-1 Multilinear Programming as a Unifying Theory for LAD Pattern Generation: Discrete Applied Mathematics 218: 21–39 (2017).

教学活动

研究生课程：智能软件的形式化验证方法

本科生课程：编译原理，Python程序设计，Python课程设计