刘任任，男，1959年10月出生，中共党员，博士，二级教授，博士生导师。1993年确定为首批省级青年骨干教师培养对象，1998年确定为湖南省跨世纪学术和技术带头人培养对象后备人选，2002年确定为湖南省高等学校学科带头人培养对象，2007年确定为湖南省121人才工程第一层次人选。主持完成国家自然科学基金2项、国家863计划子课题1项，湖南省自然科学基金2项，湖南省教育厅重点项目1项。获******科学技术一等奖1项，湖南省科技进步二等奖1项，湖南省自然科学三等奖1项，JD科学技术进步三等奖1项，湖南省优秀教学成果二等奖1项、三等奖2项；公开发表学术论文80余篇，出版学术专著1部，教材4本，其中所主编的《离散数学》被选为国家“十二五”规划教材。获宝钢优秀教师奖、湖南省优秀教师等荣誉称号。主要学术贡献为1996年与导师合作彻底解决了一元p（质数）逻辑函数完备性之判定问题（Math. Log. Quart. 42（1996）234-240），并于1999年当选为IEEE计算机学会多值逻辑技术委员会委员。曾先后中国计算机学会理事、 ACM会员、IEEE会员、中国逻辑学会非经典逻辑与计算专业委员会副主任、湖南省计算机学会常务理事、中国计算机学会理论计算机科学专业委员会常委、教育部计算机科学与技术专业指导湖南分委员会专家组成员、湖南省普通高等学校计算机类专业教学指导委员会副主任、全国高等学校计算机教育研究会理事、湖南省高教学会计算机教育专业委员会副理事长、湖南省物联网学会常务理事、《计算技术与自动化》杂志编委。
1、多值逻辑理论; 2、计算机算法; 3、信息安全
（1）部分多值逻辑函数结构理论及应用研究，国家自然科学基金项目，2007—2009，60673193，23万，主持。
（2）多值逻辑函数结构及优化理论研究，国家自然科学基金项目， 2001—2003，60083001，12万，主持。
（3）智能化网络访问终端系统，国家863项目子课题，2002—2003，2005—2006，2001AA114060，30万，主持。
（4）子波参数化及自适应子波神经网络研究，国家自然科学基金项目，2004—2006，60375021，17万，参与( 2)。
（5）基于多值逻辑理论的网络舆情分析系统的构建研究，湖南省科技厅项目，2011—2012，2011FJ6038，2万，主持。
（6）多值逻辑函数理论在信息安全中的应用研究，湖南省自然科学基金项目，2004—2005，03JJY3099，2万，主持。
（7）多值逻辑函数密码学性质研究，湖南省教育厅重点项目，2007—2009，07A067, 9万, 主持。
（8）基于虚拟机技术的计算机木马病毒全自动分析系统, 湖南省教育厅产业化项目2011—2013, 11CY018, 25万,主持。
（9）面向戏曲动画的数据获取与处理, 横向课题（中科院计算技术研究所）， 2011-2012， 10万, 主持。
（10）新型高效的自适应小波神经网络研究，省***基金，2005—2007，05JJ10011，8万，结题，参与( 2)。
（11）小波分析在乳腺癌早期检测中的应用研究，湖南省科技厅项目，2007—2010，2007FJ3033，2万，参与( 2)。
（12）智能像卡及其联网系统研究，湖南省科技厅项目， 2003—2004，03JZY3035，2万，参与( 3)。
（13）基于PDM信息系统综合开发平台的研究与应用，2000—2001，00GKY2054，2万，参与( 2)。
（14）非接触式卡通信监测仪上位机图像处理软件，2014—2016，横向，3万，主持。
（15）显微镜细胞图像处理算法研究，2013—2016,横向，5万，主持。
(16) 显微镜细胞图像识别算法研究，横向， 2011-2013， 5万，主持。
（17）三值PMC模型在可信软件中的应用研究，湖南省自然科学基金，2012-2014，3万，参与( 2)。
（18）便携式饮食健康顾问，湖南省科技厅项目，2012-2013，2万，参与( 2)。
（19）无线局域网智能防御系统，省教育厅，2013-2015，8万，排名第2。
1、一种保持测量矩阵相关性不变的扩展方法, 发明专利，ZL 2015.1.0180282.2，2017年12月授权，排名第一。
2、基于Android平台的WIFI定位指纹采集软件, 软件著作权，2016SR0 74484,2016年4月，排名第一。
3、可联网交互式的多功能规定格式习字系统及方法,发明专利,ZL2010.1.0149767.2，2011年11月授权, 排名第二。
（1）****关键技术及应用，******科学技术一等奖,2016年，排名第三。
（2）多值逻辑函数结构理论研究，湖南省自然科学三等奖，2010年，排名第一。
（3）小波及小波神经网络的相关理论与应用研究，湖南省科学技术进步二等奖，2006年，排名第三。
（4）“计算思维-创新实践-学科竞赛”立体化计算机类人才培养模式探索与实践, 湖南省高等教育教学成果二等奖,2013年,排名第一。
（5）以逆向思维能力培养为导向的“政产学研战”五位一体网络空间安全人才培养模式,湖南省高等教育教学成果三等奖,2016,排名第五。
（6）“三维一体”计算机类应用型人才培养体系探索与实践，湖南省高等教育教学成果三等奖，2019，排名第四。
（7）****计算机网络控制系统，JD科技进步奖三等奖，2003年，排名第三。
（8）湖南省优秀硕士学位论文指导教师，2003年、2005年。
（9）SJW31高速****机，长沙市科技进步一等奖，2005年，排名第五。
（10）基于****系统，湖南省大学生计算机作品大赛一等奖（指导教师），湖南省计算机学会，2013年。
（11）湘潭大学第二十一届研究生校长特等奖（指导教师），湘潭大学，2016年。
（12）湘潭大学第二十一届研究生校长优秀奖（指导教师），湘潭大学，2016年。
（13）湘潭大学第十七届研究生校长优秀奖（指导教师），湘潭大学，2012年。
（14）指导2013级计算机科学与技术专业研究生获得国家奖学金，2015年。
（15）获2016年度宝钢优秀教师奖，2016年。
（1）《多值逻辑函数结构理论研究》(学术专著)，科学出版社，2010.1，第一作者。
（1） An improved Shellsort algorithm，THEORETICAL COMPUTER SCIENCE，1997.11.
（2） The Maximal Closed Classes of Unary Functions in p-Valued Logic, Mathematical Logic Quarterly，Vol. 42, 1996.
（3） Some Results on the Decision and Construction for Sheffer Functions in Partial K-Valued Logic，Multiple-Valued Logical, Vol.1,1996.
（4） Some results on the minimal coverings of precomplete classes in partial k-valued logic functions，JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY，2004.12.
（5）关于部分多值逻辑函数集中准完备集的若干性质，计算机学报，2012.
（6）模型检测规划中的状态之间的可达关系研究, 计算机学报，2012.
（7）模型检测规划中的状态分层方法,软件学报，2009.4.
（8）Cryptanalyzing an image encryption algorithm based on scrambling and Vegin`ere cipher，Multimedia Tools and
Applications,2016.75(10).
（9）动态环境中的WiFi指纹自适应室内定位方法，传感技术学报，2015.5.
（10）A secret inline hook technology,Control and Intelligent Systems,2014.8.
（11）Cryptanalyzing a novel couple images encryption algorithm based on DNA subsequence operation and chaotic system, Optik-International Journal for LightandElectron Optics, 2015, 126(24).
（12）基于HSI修正空间信息融合的彩色白细胞图像分割方法，生物医学工程学杂志.2016.2.
（13）结合距离变换与边缘梯度的分水岭血细胞分割，中国图象图形学报，2016.2.
（1）《现代数学手册·计算机数学卷--多值逻辑篇》（独立撰写），顾问：钱伟长，吴文俊，杨叔子，主编：徐治利，华中科技大学出版社（国家九五重点出版项目），2001.2。
（1）《离散数学(第二版)》，国家“十二五”规划教材，中国铁道出版社，主编，2015。
（2）《离散数学题解与分析(第二版)》，国家“十二五”规划教材，中国铁道出版社，主编，2015。
（3）《算法设计与分析》，普通高等学校计算机科学与技术专业新编系列教材，武汉理工大学出版社，主编，2003。
（4）《离散数学》（第一版），中国铁道出版社，主编，2009。
（5）《离散数学题解与分析》，中国铁道出版社，主编，2009。
（6）《离散数学》，中南大学出版社，主编，2005。
（7）《离散数学》，湖南省高等学校21世纪教材，主编，2000。
（8）《计算机科学的数学基础》（计算机专业研究生教材），湘潭大学出版社，2007，第二作者。
（9）《现代远程教育与信息技术基础》（湖南省教育厅现代远程教育工程教材），湖南人民出版社, 2005，编委。
《离散数学》，湖南省精品课程，主持，2006年。
