北理计算机研究方向.docVIP

北理计算机研究方向 计算机科学与技术 081200 （一级学科：计算机科学与技术） 北京理工大学计算机科学与技术学科源于1959年设立的计算机专业，是我国最早建立计算机专业的院校之一。1980年成立计算机科学与工程系；1984年获得计算机应用技术硕士学位授予权，1993年获得计算机应用技术博士学位授予权，1996年获得计算机软件与理论硕士学位授予权；2001年批准设立计算机科学与技术博士后流动站；2002年计算机应用技术成为北京市重点学科，并建立智能信息技术北京市重点实验室；2003年获得计算机软件与理论博士学位授予权和计算机系统结构硕士学位授予权。本学科是我校“211工程”和“985工程”重点建设学科。 本专业主要研究计算机科学与技术的基础理论和应用技术，主要研究方向包括：软件理论与工程、计算理论、嵌入式计算、高性能计算与先进计算机体系结构、网络与分布式计算、计算机信息安全、智能信息处理、人机交互技术。 本学科主要研究方向有： 1.软件理论与工程：主要包括软件形式化与自动化技术、软件工具与环境、软件体系结构、软件可靠性、软件测试、操作系统、编译技术、异构信息源集成、多媒体数据库、Web数据库、数据仓库、电子商务、数字图书馆等。 2.计算理论：主要包括算法学、计算复杂性理论、可计算理论、自动机理论、形式语言理论、量子计算、生物计算理论等。 3.嵌入式计算：主要包括数字系统