- 主学科0839 网络空间安全【硕士生导师】
- 研究方向
人工智能安全与隐私保护
- 跨学科无
- 二级学科无
-
研究方向无
- 专业学位0854 电子信息
-
研究方向无
欢迎认真踏实,英语、数学、编程能力较强,对数据分析、智能软件感兴趣的同学与我联系
工作经历
2022.6-现在,南京理工大学,计算机科学与工程学院,副教授
2017.6-2022.5,南京理工大学,计算机科学与工程学院,讲师
教育经历
2009.9-2017.2,高丽大学,信息管理工程,工学博士
2005.9-2009.7,哈尔滨工业大学,计算机科学与技术,工学学士
[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课程设计