计算机科学与技术系软件研究所

计算机软件研究所成立于1999年,主要从事数据工程、知识工程、电子设计自动化、系统软件等方向研究。现有教师17名,包括IEEE Fellow 4人、ACM Fellow 2人、国家高端人才计划获得者4人、国家高端青年人才计划获得者4人。近年来主持多项本学科领域重要项目(973、青年973、863重点、核高基重大专项、NSFC重点基金、国家重点研发计划的重点专项等),与众多国内外企业、高校建立了合作联系。软件所教师承担20余门计算机系本科生和研究生课程教学,现有博士和硕士研究生一百多名。

近5年来,获得多项科技奖励,包括国家科技进步二等奖一项、计算机学会/人工智能学会/电子学会/通信学会/北京市的科技成果特等奖/一等奖共计7项,以及教育部/北京市/浙江省/计算机学会/电子学会的科技成果二等奖多项,还获得了世界互联网大会领先科技奖,研制的大语言模型ChatGLM入选2023年清华大学十大亮点成果。此外,唐杰获得SIGKDD时间检验奖 (Test-of-Time Award)、科学探索奖、王选杰出青年学者奖,李国良获得中国青年科技奖、东昱晓获得SIGKDD 新星奖 (SIGKDD Rising Star Award)。

近年来出版数据库、编译原理、数值计算有关教材多部,获得清华大学优秀教材特等奖,教材入选教育部101计划、工信部十四五规划等。在计算机领域最高水平学术会议SIGMOD、SIGKDD、VLDB、ICDE、WWW、ICML、NeurIPS、AAAI、IJCAI、ACL、DAC、ICCAD、ASPLOS、USENIX ATC与相关领域顶级期刊ACM TOIS、VLDB Journal、TKDE、TCAD、TC 等上发表数百篇论文;论文获得 ICCD、ICDM、DATE、ASPDAC、DASFAA、EMNLP、ECML/PKDD等著名国际会议的最佳论文/杰出论文奖。

研究所的主要研究方向有:

· 数据工程

研究大数据分析与挖掘、群体计算、时空数据处理、数据库系统

· 知识工程

研究大模型、知识图谱、数据挖掘。

· 系统软件

研究操作系统内核、编程语言与编译优化、系统软件安全分析与修复、模型检查与形式化验证。

· 电子设计自动化(EDA)

研究集成电路物理设计、物理建模与仿真、互连分析与优化、大规模数值计算。

欢迎访问软件所主页 software.cs.tsinghua.edu.cn