计算机科学与技术专业081200包含3个专业领域:
一、计算机软件与理论:研究智能软件设计、算法设计与分析、程序验证方法。提出了参数复杂性概念及其算法设计技术,给出一个计数问题类的二分性和可近似性,这两项都是该领域目前最好的结果之一;在著名的图反馈集和图顶点覆盖集问题及其复杂性下界等研究中做出了“里程碑性的成果”。研发的4K超高清视频AI评分模型系统在广播电视行业获得示范应用。
二、计算机应用技术:研究物联网、生物计算机、区块链的理论与方法。聚焦生物启发的新原理器件及新算法,提出的并行性DNA计算模型被同行专家评价为继Adleman后生物计算机最重要成果之一,可编程计算结构被同行专家评价为DNA计算1991年以来15个重要里程碑式成果之一;围绕区块链底层平台、新型密码机制、智能合约安全,研究区块链理论与技术,研究成果在国家电网数字新基建、天津海关及多个相关企业得到应用,并为雄安链和北京链的总体设计和规划提供了技术支撑;提出了计算-存储-通信等技术的深度融合方法,构建了一套新型物联网传输方案。
三、人工智能:研究人工智能的可解释性与鲁棒性、区块链技术。围绕精准智能、人工智能可解释性,研究人工智能基础理论与应用方法;提出了以面积方法为基础的消点法,实现几何定理可读证明的自动生成,构建类人解题智能系统,被国内外同行称为“计算机处理几何问题道路上的里程碑”;对大规模MIMO无线传输的技术开展应用研究,并在中国移动进行技术应用推广,将相关的技术应用于网络优化业务上,显著提升了网络的服务质量。