基本情况

姓名：周锦程

性别：男

出生年月：1981.01

职称：教授

现任：科研处副处长，中国计算机学会高级会员、中国数学会会员、贵州省计算机学会理事。

教育背景

2009年于江南大学计算机应用技术专业毕业，获工学硕士学位

2016年于贵州大学软件工程专业毕业，获工学博士学位。

2017年9月至2017年12月，美国东北州立大学访问学者

2019年1月至2020年1月，中国科学院计算机科学国家重点实验室访问学者

工作经历

2013年1月至2017年12月黔南民族师范学院数学与统计学院副教授

2018年1月至2020年6月 黔南民族师范学院数学与统计学院教授

2020年7月至今 LD乐动体育app教授

2018年起，先后任贵州大学计算机科学与技术专业、应用数学专业，北方民族大学计算机技术专业硕士研究生兼职导师，黔南民族师范学院学科教学（数学）专业、现代教育技术专业硕士研究生导师。

2018年10月入选贵州省“千层次”创新型人才计划。

开设课程

数据结构、软件工程、算法设计与分析、C程序设计、数据库系统原理、高等数学等

研究领域

软件工程、算法设计与分析、现代教育技术、数学教育、人工智能等

论著目录

一、代表论文

1. 随机正则(k, r)-SAT问题的可满足临界，软件学报，2016年。

2. 严格随机正则(3, s)-SAT模型及其相变现象，北京航空航天大学学报，2016年。

3. 带非线性优先连接规则增长模型的节点度分布，北京邮电大学学报，2016年。

4. Upper bound on the satisfiability threshold of regular random (k, s)-SAT Problem，Int. J. Innov. Comput. Inf. Control，2016年。

5. 基于1RSB的正则(k, r)-SAT问题可满足临界，华中科技大学学报，2017年。

6. Degree correlations in two layer growth model with nonlinear preferential attachment rule，IEEE TCS2017，2017年。

7. A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form，Entropy，2021年。

8.An algorithm for solving satisfiability problem based on the structural information of a formula，Front.Comput.Sci.，2021年。

二、论著及参编教材

1. 参编《大学生数学建模教学案例集》，吉林大学出版社，2016。

[2] 参编《黔南州“十五”时期到2010年人才需求预测分析》，贵州科学出版社，2016。

三、承担的部分科研课题

四、学术交流

1. 组织召开了2018年全国数理逻辑年会。

2. 组织召开了2019年全国逻辑与计算会议。