LD乐动体育app-首页欢迎您
师资队伍
周锦程
2021-09-08 10:12   审核人:

基本情况

姓名:周锦程

性别:男

出生年月:1981.01

职称:教授

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

教育背景

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

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

20179月至201712月,美国东北州立大学访问学者

20191月至20201月,中国科学院计算机科学国家重点实验室访问学者

工作经历

20131月至201712月黔南民族师范学院数学与统计学院副教授

20181月至20206月 黔南民族师范学院数学与统计学院教授

20207月至今 LD乐动体育app教授

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

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

开设课程

数据结构、软件工程、算法设计与分析、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 ProblemInt. J. Innov. Comput. Inf. Control2016年。

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

6. Degree correlations in two layer growth model with nonlinear preferential attachment ruleIEEE TCS20172017年。

7. A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal FormEntropy2021年。

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

二、论著及参编教材

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

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

三、承担的部分科研课题

序号

项目名称

立项编号

经费

(万元)

起止

年月

项目

来源

计划

名称

角色/状态

1

变元正负出现概率受控的随机正则k-SAT问题研究

61862051

37+22

2019.01-2022.12

国家自然科学基金委

地区项目

主持

在研

2

随机正则(k, r)-SAT问题的性质及算法

黔南科合工字(201710

8

2017.12-2019.12

黔南州科技局

工业重点项目

主持

已结题

3

贵州省普通高等学校科技拔尖人才计划项目

黔教合 KY [2018]080

30

2018.09-2021.09

贵州省教育厅

拔尖人才计划支持项目

主持

在研

4

复杂系统与智能优化重点实验室

qnsy2018pt007

58

2018.12-2021.12

黔南民族师范学院

科研平

台建设项目

主持

在研

5

随机正则p-(k,r)-SAT问题研究

黔科合基础[2019]1299

16

2019.01-2021.12

贵州省科技厅

贵州省科学技术基金项目

主持

在研

6

量子粒子群优化算法的研究与应用

黔科合JLXKX[2013]13

3.5

2013.12-2016.12

贵州省科技厅

贵州省科学技术基金项目

主持

已结题





















四、学术交流

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

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


关闭窗口