1号彩票

组织机构

研究机构

您所在位置: 首页 > 组织机构 > 研究机构

理论计算机科学研究所

    理论计算机科学研究所主要研究人员包括教授1人,副教授4人;具有博士学位4人。学科带头人何勇教授。
 
 
         理论计算机科学研究所的主旨是,针对计算机科学与技术、软件工程、信息安全、控制论、计算生物学等领域的若干重要问题,在抽象化、逻辑化和数学化的基础上展开理论研究,促进对这些问题的本质的理解,并根据这种理解提出更有效的解决方法。研究所的主要研究方向有:    
         1) 形式语言与自动机理论;  
         2) 信息安全基础理论;  
         3) 算法及其复杂性理论;  
         4) 软物质理论及技术;  
         5) 计算机图形图象学。  
         研究所成员先后主持国家自然科学基金项目2项,湖南省自然科学基金重点项目1项,其它省部级项目10余项;出版研究生、本科生教材《计算机算法》《计算机图形图像技术》等3部;在《中国科学》 《计算机学报》 《计算机图形图像学报》 《 IEEE Transections on Industrial Informatics》 《Theoretical Computer Science》《Future Generation Computer Systems》 《Journal of Network and Computer Applications》  《Journal of Microbiology and Biotechnology》等国内外重要学术刊物以及国际学术会议发表论文200多篇,所发表论文被引次数1000余次。实验室拥有良好的科研条件。