【教师简介】
谢刚，贵州大学博士，现任高师计算机教育分会常务理事，中国计算机学会高级会员，中科院自动化所博士后，贵州省“西部之光”访问学者，贵州省“千层次”创新型人才，主要研究兴趣包括：问答系统、软件工程、概率图模型。2002年至今参编教材1部，翻译教材2部。在《计算机科学》《计算机工程与设计》等核心以上期刊发表10篇论文，其中EI收录2篇,ISTP收录1篇，主持省科技厅项目2项，参与国家自然科基金3项，主讲《程序设计基础》、《离散数学》等课程，指导学生参加学科竞赛多次获奖，参与3门精品课程建设，参与的多项教学成果多次获奖。邮箱：48263091@qq.com
【主要经历】
教育经历：
(1)2008.9–2013.12,贵州大学, 计算机软件与理论, 博士
(2)2005.9–2008.6,西南大学,计算机软件与理论,硕士
(3)1998.9–2002.6,永利集团3044am官方入口,计算机科学与技术,学士
工作经历：
(1)2018.12-至今 永利集团3044am官方入口,3044AM永利集团,教授
(2)2016.4-2018.12,永利集团3044am官方入口,3044AM永利集团,副教授
(3)2011.12-2016.4, 永利集团3044am官方入口,数学与计算机科学学院,副教授
(4)2008.12-2011.11, 永利集团3044am官方入口,数学与计算机科学学院,讲师
(5)2002.7-2008.11, 永利集团3044am官方入口,数学与计算机科学学院,助教
(6)2016.5-2022.4,中科院自动化所,博士后
【主要贡献】
（1） 面向方面程序的精化演算框架研究.贵州省科技厅科学技术基金项目、黔科合J字LKS[2012]35号、201206-201506 ，主持
（2）遗留系统业务规则抽取研究 .贵州省科技厅，黔科合J字[2009]2119，2009.5-2012.6，主持
（3）输入和状态受限条件下切换系统的鲁棒最优控制研究 .国家自然科学基金地区科学基金项目（61563011）”，参与
（4）测试一阶逻辑可定义图性质（61309006）” .国家自然科学基金青年基金项目（61309006），参与
（5）全极化SAR异质场景散射基元统计谱建模与分类.参与国家自然科学基金委员会自然科学基金项目“（41161065）”，参与
●获奖情况
1、2013年参与的教学成果“《应用课题实战与项目开发训练》特色课程的建设“获第八届贵州省教学成果二等奖，第二获奖人。
2、2018年主持的教学成果获永利集团3044am官方入口校级成果二等奖。
3、2020年获永利集团3044am官方入口非思政课教师“课程思政”教学竞赛三等奖。
4、2020年获《基于线上线下混合式教学的《离散数学》课程建设探索》获永利集团3044am官方入口疫情防控期间优秀在线教学案例
●发表论文情况
（1）谢刚, 张明义, 杨波. 面向方面程序的精化演算框架. 西南师范大学学报(自然科学版), 2018, v.43；No.256(07):73-80.
（2）谢刚, 蒋强, 石磊. 面向方面程序的动态语义研究. 计算机科学,2018， 45(8)：179-185，207
（3）谢刚, 吴高巍, 任俊宏等 面向患者的智能医生框架研究. 计算机科学与探索, 2018, 12(9).1475-1486
（4）谢刚, 韦立, 吴祥. 面向方面程序的静态语义研究[J]. 计算机科学, 2017(9).184-189，215
（5）谢刚, 张文生. 概率逻辑程序研究综述[J]. 山西大学学报：自然科学版, 2016(3):333-341.
（6）Xie G , Yang B , Zhang M .A Semantics of Poincuts in AspectJ[J].Ieri Procedia, 2013.（ISTP收录）
（7）Xie Gang,Zhang Mingyi,Yang Bo. A static semantics for aspectj. Journal of Computataional information systems 2012.8.16 9651-6963 （EI期刊）
（8）谢刚,杨波, 面向方面的模块化推理框架研究, 山东大学学报(理学版),2011(09)
（9） Xie Gang, Business Rule Extration from legacy system Using Dependence-Cache Slicing, IEEE Computer Socity(CPS)：The 1st International Conference on Information Science and Engineering(ICISE2009) （EI收录）
（10）谢刚, 红外图像人脸识别方法研究进展, 计算机工程与设计2008.9,29(18):4801-4803
