刘坤起教授履历

刘坤起，男，1966年12月生于河北省无极县郭吕村，汉族，博士。生前任石家庄经济学院信息工程学院院长，教授，硕士导师。1989年毕业于中国地质大学计算机科学与技术系，获工学学士学位；2010年毕业于中国地质大学计算机学院，获工学博士学位(师从康立山教授)。自本科毕业后，一直在石家庄经济学院（原河北地质学院）任教，期间曾连续6年参加由赵致琢博士主持的教育部暑期计算机科学与技术高级研讨班，先后师从国内外著名计算机科学家、数学家张明义教授、罗里波教授、康立山教授、陈国良院士、赵致琢教授、朱洪教授、陆汝占教授、陆鑫达教授、傅育熙教授、朱一清教授等学习“数理逻辑基础”、“模型论”、“抽象代数基础”、“范畴论”、“演化计算”、“并行算法设计与分析”、“分布式算法基础”、“形式语义学”、“高等计算机体系结构”、“进程代数(并行理论)”、“形式语言与自动机理论”、“可计算机性与计算复杂性理论”等课程。现兼任教育部计算机科学与技术课程指导委员会专家工作委员会委员、石家庄市计算机学会副理事长、《计算机科学》审稿人。 教学与科研工作经历： 任教后，一直从事计算机软件与理论专业的教学与科学研究工作，主要研究方向是演化计算、程序设计语言、计算机科学教育和计算机科学与技术哲学。 自任教以来，曾先后为本科生和硕士研究生主讲过“计算机科学导论”、“高级语言程序设计”、“数据结构”、“操作系统”、“编译原理”、“数据库原理”、“算法设计与分析”、“软件工程”、“汇编语言程序设计”、“计算机组成原理”、“数值分析”、“数理逻辑基础”、“演化计算及其应用”、“计算机网络”等一批课程。 先后参与或主持了地质矿产部、教育部、河北省高科技计划、国家自然科学基金等多个项目的研究工作。

基于科学哲学的思想方法，以学科方法论作为研究的切入点，重新科学地认知了演化计算研究领域，具体地，基于科学哲学大师T.S.Kuhn(托玛斯·库恩)创立的科学“范型(范式)”(Paradigms)理论和国内著名计算机科学家赵致琢教授结合计算机科学科学与技术学科所给出的一个可操作的认知模型，初步建立了科学认知演化计算研究领域的认知模型，从科学“范型”的高度系统整理了演化计算研究领域的知识。 演化计算的认知模型建立的目的和意义在于，使我们能够科学地认知演化计算整个研究领域，从深度与广度的发展认识上整体把握其未来的发展走向，这无疑对在演化计算领域进行科学研究具有重要的指导意义。 另外，近几年提出了几个新的演化算法。

① 计算机科学与技术方法论是计算机科学与技术哲学的重要组成部分。计算机科学与技术学科的典型方法是其方法论的重要组成部分。在计算机科学与技术学科的典型方法的研究中，提出了计算模型、分解和典型用例测试三种典型方法，丰富了计算机科学与技术学科的典型方法的研究内容； ② 将计算机科学与技术哲学的思想与方法引入到计算机科学教育中，对创新人才的培养具有重要意义。将计算机科学与技术学科范型和学科方法论的内容融入到《高级语言程序设计》和《集合论基础》教材的创作中，是一种新的尝试，对计算机科学与技术学科高端教材的创作具有示范意义。 主要成果清单： [1] 刘坤起 编著.《操作系统学习辅导与习题详解》，北京：电子工业出版社，2003
[2] 刘坤起 等著.《计算科学导论教学辅导》，北京：科学出版社，2005
[3] 刘坤起 等编著.《数据结构：题型·题集·题解》，北京：科学出版社，2005\ [4] 刘坤起 编著.《集合论基础》，北京：电子工业出版社，2014
[5] 刘坤起 等编著.《高级语言程序设计》，北京：电子工业出版社，2014
[6] 刘坤起 等.关于认知演化计算分支领域的研究简报(Ⅰ),计算机科学，2009,36(7):26-31
[7] 刘坤起 等.关于认知演化计算分支领域的研究简报(Ⅱ),计算机科学，2009, 36(8):35-40
[8] Liu Kunqi(第一作者)，Differential Evolution Algorithm Based on Simulated Annealing，The Proceedings of ISICA ’2007，Springer，2007:120-126
[9] Liu Kunqi(第一作者)，Solving SAT Problem Based on Hybrid Differential Evolution Algorithm，The Proceedings of ISICA ’2009，Springer，2009:240-246
注：在其他学术刊物上发表的一批论文略