学科建设

代数与软件理论研究所

2018-08-20 网络部
代数与软件理论研究方向:学科带头人何勇教授。
  主要研究人员包括教授1人,副教授4人,博士1人,在读博士2人。
自动机是最简单的计算机器的理论模型,形式语言是自然语言和程序语言的抽象。形式语言和自动机理论是理论计算机科学领域中两个紧密相关的重要研究对象,它们在自动控制、程序设计、可计算性、密码学、计算机图形学和神经网络等领域有广泛应用。该方向的主要研究内容有:
  1)代数结构及其在形式语言和自动机理论中的应用;
  2)自动机的可判定性和等价性;
  3)码论及其应用;
  4)计算机图形图象学。
  该方向有代数与软件理论研究所支撑。其成果已在《中国科学》、《Communication in Algebra》、《Semigroup Forum》等杂志上发表。参加了国家自然科学基金项目“半群代数理论”,先后主持了湖南省自然科学基金项目“射凝聚半群及其相关课题”和湖南省教育厅青年基金项目“半群代数理论及应用”的研究。该方向目前承担国家自然科学基金或省部级项目5项,其它项目10余项,在《中国科学》、《计算机学报》、《软件学报》、《电子学报》、《通信学报》、《计算机研究与发展》等重要刊物以及国际会议发表学术论文50多篇,出版专著、教材1部。实验室拥有良好的科研条件。
 

联系方式

  • 考试中心:0731-58290217
  • 就业指导:0731-58291319
  • 院党政办:0731-58290474-807
  • 院教务办:0731-58290130 / 0731-58290474-815
  • 研究生办:0731-58290474-810
  • 院学工办:0731-58290166 / 0731-58290474-802



关注微信「IT小助手」