人员概况


计算机软件与理论研究方向现已形成数据工程、知识工程、计算机与VLSI设计自动化、可视化技术与计算机图形学、软件工程及系统软件等研究分支。

目前,有教授、副教授等研究人员18名,其中:教授5名,博士生导师6名,副教授9名,讲师4名。有博士后2名、博士生47名、硕士生65名。

教师名单

学生名单

  • 博士生
  • 董丽 顾志峰 杜昶旭 贾艳明 林玲 曾志平 曾姗 沈伟翔 王晓懿 李国良 张宇宙 刘建湘 王立军 邓小鹏 赵康 隋文涛 戴晖 赵燕妮 于浚泊 朱利民 刘盛华 仲茜 刘喻 杜旭涛 贺宇凯 潘彤 陈德伟 李翔 吴昊 涂亚明 袁仲达 何鸥 师进 刘大为 邓澍军 李元平 范举 李德 韩军 王健楠 刘碧洋 陈建文 王昊 邓塘建 陈光 马爱文 HAQ QAZI-SAMI UL

  • 硕士生
  • 孟文峰 高玉斌 王峰 雷明 刘人玮 李燕 郭胜基 刘涛 朱允敏 李淳 曹嘉伟 薛承坤 朱卫华 黄芸 刘乐 魏星 张静 张凌毅 谭玉玺 李树芳 王慧芳 李军 金孝源 孔直秋 贺旭 毛凯慜 刁屹 高传聪 余蓓 乔琳 赵洋 史峰 解放 周莉 张铎 董昌道 沈吟 程昶 王堃 闫奕歆 石晋 刘永利 王月玲 金山 余冉 周舒哲 曹震 徐婧 林涛 熊钊荣 张田 何剑虹 高强 陈斌 杨帆 张啸 杨庆燕 马骁萧 邓泉松 牛飞飞 刘娟 陆皓 李虎 刘国义 刘俊硕

周立柱

清华大学计算机系教授,信息学院学术委员会主任.1983年在多伦多大学获得硕士学位.自八十年代以来,已完成了国家自然科学基金、863、973等科研项目20余项。在国内外学术刊物、国际学术会议发表论文100余篇。曾在VLDB, ICDE, SIGMOD, PAKDD, DASFAA, WAIM, APWEB, IEEE WIC, ICSE, ER Conference, 以及 ICADL等多个国际学术会议上担任过学术委员会委员、学术委员会主席、会议主席等职务。

研究兴趣:数据库,数字资源管理,Web数据处理,信息系统

讲授课程:《分布式数据库系统》

个人主页 ↑返回顶部

冯建华

冯建华,男,山西运城人,1967年8月出生,教授,现在清华大学计算机科学与技术系软件研究所工作,任系副主任,主管教学工作。主要研究方向是与数据库相关的理论与技术,近年来在一系列顶级国际会议,如ACM SIGMOD、ACM SIGKDD、VLDB、AAAI、和WWW上发表了多篇论文,主持的科研项目有973、863和国家自然科学基金,以及与Intel、HP等企业的国际合作。

研究兴趣:数据库、XML数据、基于Flash的数据库系统、异构数据的关键字检索、数据安全与数据隐私

讲授课程:《数据库系统概论》、《数据库专题训练》

个人主页 ↑返回顶部

王建勇

王建勇,男,清华大学计算机系副教授(博导)。自1999年4月从中国科学院计算所获得博士学位以来先后在北京大学计算机系任讲师、在加拿大Simon Fraser University、美国University of Illinois at Urbana-Champaign及University of Minnesota at Twin-Cities进行访问研究。主要研究方向为数据挖掘及模式发现。近年来,在国际三大数据挖掘会议(ACM SIGKDD、SIAM SDM和IEEE ICDM)、国际三大数据库会议(ACM SIGMOD、VLDB和IEEE ICDE)以及国际一流的数据库/数据挖掘/知识工程期刊(如ACM Transactions on Database Systems、Data Mining and Knowledge Discovery、IEEE Transactions on Knowledge and Data Engineering)上发表了30多篇高水平的研究论文。根据Google scholar的索引统计,所发表论文已被累计引用超过1500次。作为第一申请人获已授权发明专利一项。目前是IEEE高级会员(senior member)和ACM SIGKDD的会员(member)。到目前为止,已多次担任国际知名会议如ACM SIGKDD、VLDB、IEEE ICDE、WWW、SIAM SDM、IEEE ICDM和ECML/PKDD的程序委员会委员。2007年入选教育部“新世纪优秀人才”支持计划。

研究兴趣:数据挖掘

讲授课程:《数据挖掘:理论与算法》

个人主页 ↑返回顶部

冯铃

冯铃(女),计算机科学与技术系长江特聘教授。荷兰皇家科学院杰出中青年发明创造奖首位计算机获奖者。1995年于华中理工大学获得博士学位。2002年获荷兰Twente 大学终身副教授。2006年入选清华大学“百名人才引进计划”。从事数据管理理论与技术研究20余年。作为项目发起者、负责人和主要研制者,先后承担26项中国、香港、荷兰、澳大利亚国家尖端级角逐拨款、杰出中青年发明创造等重大项目。在国际学术期刊、会议上发表论文120余篇。在智能空间信息安全管理领域的研究成果因兼具创新与实用性,2003年获得荷兰皇家Philips重大专利1项(第一发明人)。提出的场境感知数据管理与服务模式,引发出普适移动数据库中的一系列研究问题,成为新一代智能数据管理与服务领域重要研究方向。在回国工作的两年里,主持承担自然科学基金、“863”和系重点基金等6项国家、校级科研项目。指导2名中国博士生和7名本科毕设生,完成两篇国际顶级学术期刊IEEE TKDE和ACM TKDD论文和十余篇会议论文。担任国际期刊《信息》亚太地区主编、《数据仓库和挖掘》副主编、《神经科学方法》及《数据分析技术与战略》编委、国际会议APWeb & WAIM'09和ODBASE'08程序委员会主席。2008年入选中国计算机学会数据库专委会委员。

研究兴趣:场境感知的数据管理

讲授课程:计算机程序设计基础

个人主页 ↑返回顶部

李涓子

于2000年在清华大学获得博士学位,2001年清华大学博士后工作出站后留校任教,现为清华大学计算机科学与技术系副教授。计算机学会计算机应用专业委员会,电子政务与办公自动化专业委员会委员。主要研究兴趣为语义Web与语义Web服务,文本挖掘与知识发现。在相关研究方向上发表学术论文90余篇,其中SCI检索19篇,EI检索51篇。在重要国际会议(如SIGIR,ISWC,CIKM,SIGKDD,ICWS)和学术期刊上(JoWS, TKDE, JoDS)发表多篇论文。承担和参加了多项国家级、部委级和国际合作项目研究,包括国家自然科学项目(60443002, 90604025, 60703059),973基础研究计划项目(2007CB31080),以及新华社和国家环保总局安全中心项目等。作为本地组委会主席承办了第一届亚洲语义Web国际会议,担任多个重要国际学术会议的程序委员会委员,包括WWW,ISWC,WI等。

研究兴趣:语义Web与语义Web服务,文本挖掘与知识发现

讲授课程:数据挖掘(本科生课程),知识工程(研究生课程)

个人主页 ↑返回顶部

许斌

许斌博士是清华大学计算机系副教授,主要从事软件架构、语义Web、Java技术、传感器网络的研究和教学工作。1991年进入清华大学计算机系学习,先后获得本科、硕士、博士学位后留校工作。现任中国计算机协会计算机应用专委会委员,中国软件行业协会Java技术分会理事, SUN全球Java Champion。在JCST、《计算机学报》、《清华学报》、ICWS、CEC、ICPP等等国内外刊物、会议上发表论文多篇,被SCI、 EI、 ISTP收录近20篇。担任国际万维网大会WWW2008的Poster Chair,以及多个国际会议(SOSE2005, ASWC2006, GCC 2006,MSN2006, CODS2007,ICWE2008)的程序委员会或组委会成员,以及IEEE TKDE杂志的审稿人。连续获得2006、2007、2008年IEEE CEC/EEE国际会议中的 Web Service Challenge竞赛第一名。曾获北京市科技进步二等奖1项,花旗奖教金1项,清华大学科研成果推广奖1项,清华大学SRT优秀指导教师,清华大学教学成果二等奖1项。参与制定三项国家或行业标准。作为负责人与主要参与人承担了清华大学985研究项目“SOA中语义Web服务发现与组装”、国家863项目“面向数据处理的软件生产线”、国家自然科学基金项目“限定领域中基于语义的内容管理关键技术及应用”、“基于多普勒效应的人体传感器网络动态三维定位与监测方法”的研究。在教学方面,开设基于Web的软件课程,先后为清华大学2000多名计算机专业本科生讲授“Java编程语言与技术”;指导学生参加2006年“全国大学生Java大赛”并获得第一名;为推动全国大学生应用最新的Web信息化技术,先后担任2005年“全国大学生Java大赛”总裁判长和2007年“全国大学生AJAX大赛”总裁判长;撰写了《JXTA—Java P2P网络编程技术》等5本Java方面的书籍。

研究兴趣:Web服务、语义Web、Java技术、传感器网络

讲授课程:Java语言程序设计

个人主页 ↑返回顶部

唐杰

2006年6月在清华大学计算机系获得博士学位,并于同年就职于清华大学担任助理研究员。主要研究方向包括:数据挖掘和语义Web。提出了基于规则、基于分类器和基于树状条件随机场的多种语义标注方法,提出最小化风险的本体映射方法(该方法参加了国际竞赛OAEI’2006和OAEI’2007的评比,分别取得了第一和第三的好成绩)。曾获得清华大学2007年度计算机系先进工作者、清华大学2006年度优秀博士学位论文、计算机学会优秀博士论文候选提名。在国际期刊、国际会议发表论文五十余篇(其中:SCI 20余篇),包括国际期刊JWS和JoDS以及重要的国际会议:SIGKDD,ACL,WWW, ISWC,ICDM,CIKM等。申请专利6项,其中第一申请人3项。目前的学术兼职包括:IEEE 会员和ACM会员;WWW-SWSM’08主席;ASWC’06注册主席;以及OAEI’07 (SPC), WI’07-08, APWEB-WAIM’09等20多个国际会议程序委员,另外担任国际期刊TKDE、PRL、SMC、JWE等审稿人。

目前主持的研究项目包括:国家自然科学基金项目、国家新教师研究基金、明尼苏达/中国合作研究项目、IBM国际合作项目、清华大学骨干人才基金项目。参与的研究项目包括:国家973基础研究基金项目、国家自然科学基金项目、国家自然科学基金重大研究计划面上项目、中国-希腊政府间科技合作项目、Tsinghua-ITF国际合作项目以及Google公司的国际合作项目。

研究兴趣:文本挖掘、网络信息挖掘、语义Web

讲授课程:以服务为中心的软件开发设计与实现(本科);数据挖掘(深圳研究生院)

个人主页 ↑返回顶部

边计年

1970年3月毕业于清华大学自动控制系(现计算机系),留校从事教学、科研工作至今,现为清华大学教授。1985年6月-1986年6月日本京都大学作访问学者,其后又多次访问了香港中文大学,日本九州大学,美国加州大学洛杉矶分校,新加坡国立大学,英国伦敦帝国大学和意大利维罗纳大学等。在“六五”到“九五”期间连续参加多项国家攻关任务,其中作为逻辑模拟课题组长参加的集成电路3级系统“熊猫系统”荣获国家科技进步一等奖和多项部级奖,本人两次荣获电子部荣誉证书。2000年以来参加和负责多项自然科学基金项目,973子课题,863课题等。在2001年获得北京市教学成果奖2等奖,1999年其专著(合著)获得国家图书奖提名奖和科技著作国家科技进步奖1等奖。

研究兴趣:综合与形式验证等

讲授课程:数字系统设计自动化(本科课程),数字系统自动设计(研究生课程),数值分析(本科课程),语言及程序设计(本科课程),组合数学(研究生课程),集成电路与VHDL设计(研究生课程)

个人主页 ↑返回顶部

蔡懿慈

教授,博士生导师,软件研究所所长,计算机系学术委员会委员。1983年获清华大学半导体器件与物理学士学位,1986年获清华大学计算机应用硕士学位,2007年获中国科学技术大学计算机应用博士学位。1986年留校任教至今,主要从事集成电路计算机辅助设计方向的教学与科研工作。IEEE Member,电子学会高级会员、计算机学会高级会员,Integration VLSI Journal副编辑。20多年来一直从事VLSI CAD的教学及科研工作,在EDA领域从理论和应用上进行了深入的研究,参加和领导了一些重大的国家自然科学基金、国家攻关项目、“973”、“863”项目,以及与Intel、Synopsys、Magma等公司的国际合作项目。与美国著名大学UCLA、UCSD等建立了长期的合作关系。培养数十名名博士和硕士研究生。获得了电子工业部科技进步奖三等奖、国家教委科技进步三等奖、教育部自然科学二等奖。在该领域国际学术会议DAC、ICCAD、ISPD、ASP-DAC及国际刊物IEEE Trans.等上发表学术论文百余篇,申请国家发明专利十余项,其中7项已经获得授权,出版《超大规模集成电路设计导论》及《数字逻辑与计算机设计基础》教材。

研究兴趣:超大规模集成电路自动设计理论、算法和系统。研究最优化算法、大规模数值计算方法等。应用于物理设计、片上电源/电线网络设计和优化、高性能时钟网络设计优化、低功耗物理设计、可制造性及成品率设计优化。

讲授课程:《数值分析》、《VLSI设计导论》

个人主页 ↑返回顶部

周强

清华大学计算机科学与技术系软件研究所副教授。1983年7月毕业于中国科学技术大学计算机科学技术专业,获学士学位。1986年毕业于清华大学计算机软件与理论专业,获硕士学位。2002年毕业于中国矿业大学(北京)控制理论与控制工程专业,获博士学位。2002年-2003年在清华大学计算机科学与技术系EDA研究室从事博士后研究工作,获得清华大学博士后中期检查特优和成果优秀的成绩,出站后留清华大学任教。长期以来一直从事计算机软件系统分析与设计、系统集成、优化算法等方面的研究、应用,以及计算机科学技术专业教学工作。先后参与了自然科学基金重大国际合作项目、“863”重大计划、自然科学基金,以及Intel公司的国际合作等项目的研究。从布局算法、互连线优化算法、布图系统,以及系统集成的角度,对布图理论和算法开展研究。参加并领导了一些工程性项目,以及有关的教学和教学管理工作,积累了丰富的工程实践、研究和管理经验,具有一定的总体设计和统筹管理能力。参加了《超大规模集成电路设计导论》教材编写工作。在布图理论与算法领域相关的国际会议和国内国际期刊上发表和录用论文百余篇。

研究兴趣:优化算法,电子设计自动化,自动布图理论与算法,软件开发

讲授课程:超大规模集成电路布图理论与算法

个人主页 ↑返回顶部

董社勤

董社勤,清华大学计算机系副教授。1999年以来发表集成电路辅助设计等方面的学术文章近120篇,获得专利7项。是两项部级科技进步一等奖项目的技术骨干。近年来获得清华大学林楓奖,教育部提名国家自然科学二等奖,北京市科技进步奖等。

董社勤目前是日本早稻田大学客员教授。曾是香港中文大学,日本北九州市立大学,日本早稻田大学访问学者。参与组织多个国际学术会议,是程序委员会共主席或者程序委员。主持完成多项国家自然基金项目,国际合作项目,作为子项目负责人参与多个863重大项目,国家自然基金重点项目以及自然基金重点国际合作项目。

研究兴趣:集成电路布图理论与算法,体系结构自动综合及优化,多核可重构片上系统综合及优化.数模混合 系统物理自动综合及优化.现代优化算法

讲授课程:现代优化算法设计与实践(研究生), 数字逻辑电路(本科生)

个人主页 ↑返回顶部

喻文健

1999年他毕业于清华大学计算机科学与技术系,2003年7月在该系软件与理论专业取得博士学位并留校工作。2005年9月至2008年1月间,他多次赴美国加州大学San Diego分校(UCSD)计算机科学与工程系访问,在电路仿真、P/G网设计、互连线分析等方面开展合作研究。

目前的研究兴趣包括集成电路计算机辅助设计,大规模数值算法,互连分析与仿真,硅衬底耦合效应建模与提取等。发表SCI索引的国际期刊论文10多篇,EI索引论文50多篇,申请国家发明专利3项,翻译出版了关于集成电路计算机辅助设计和数值算法的多本著作。博士论文获2005年“全国百篇优秀博士论文”提名,获2005年度教育部提名国家科学技术奖自然科学奖二等奖。

研究兴趣:集成电路计算机辅助设计; 数值计算

讲授课程:2007年春季,数值分析(本科生课程),2005-2008年春季,高等数值算法与应用(研究生课程),2006年春季,数字系统设计自动化(本科生课程,与边计年教授合教)

个人主页 ↑返回顶部

马昱春

马昱春,1978年生,博士,清华大学计算机系设计自动化教研室助理研究员。1999年7月毕业于西安交通大学计算机科学技术专业,获学士学位,同年保送至清华大学。2004年以突出的科研成绩获得清华大学博士学位,并获得优秀博士毕业生称号。曾于2005年在美国加州大学Los Angeles分校做访问学者,为期一年。所从事的研究方向包括布图规划算法研究,优化理论研究,三维芯片布图规划和微处理器系统布图规划研究,参与多项国家重点科研项目,包括有:国家863项目,国家自然科学基金,国家973项目,国家重大基金项目等。在布图规划研究方面取得了一系列的科研成果,以第一,第二作者发表30余篇论文(SCI检索6篇, EI检索22篇)包括IEEE Trans. On CAD, ACM Trans. On DAES.等国际一流学术期刊,并在设计自动化专业顶尖学术会议Design Automation Conference上发表论文2篇,International Symposium on Physical Design发表论文1篇,International Conference on Computer-Aided Design发表论文1篇,10余篇文论发表在国际一流学术会议上,并曾多次获得最佳论文奖。

研究兴趣:集成电路设计自动化算法

讲授课程:组合数学

个人主页 ↑返回顶部

孙延奎

1985年和1991年分别获河南大学、江西大学数学专业学士与硕士学位;1999年于北京航空航天大学获航空宇航制造工程专业博士学位; 1987~1999在郑州大学数学系任教。2001年在清华大学计算机系博士后出站晋升为副教授任教至今。

曾从事小波几何造型、地形数据可视化、数字虚拟人建模、IBMR等研究工作;正在从事小波与应用、基于统计模型的三维人脸建模、基于图像的高光物体表面建模和光学相干层析(OCT)信号与图像处理和分析等研究工作。曾主持和参与承担国家自然科学基金项目、863计划项目、国际合作项目及横向委托项目多项。在国内外核心期刊及重要国际会议上发表论文近50篇。主编与合著著作3部。2002年, “小波技术在CAD及体可视化中的应用研究”被评为北京航空航天大学优秀博士学位论文;2008年,《小波分析及其应用》获清华大学优秀教材奖。

现担任美国《Mathematical Reviews》特约评论员,美国电子期刊“Journal of Advanced Researches on Computer Science”编委会委员;兼任中国图象图形学学会医学影像专业委员会委员,中国生物工程学会生物信息与控制分会委员,北京图象图形学会青年工作委员会委员。《2009 年北京市自然基金重大、重点项目选题》及《2009-2012 年北京市自然基金项目指南》信息科学领域的编制组专家。多次担任国际国内会议的程序委员会委员。

研究兴趣:小波分析、科学计算可视化、基于图像的三维建模与绘制、图像处理等

讲授课程:《计算机辅助几何设计技术基础》,《小波分析及其工程应用》

个人主页 ↑返回顶部

王生原

生于1964年;2001年8月起任清华大学计算机系副教授;1987年2月起任兰州大学计算机系助教、讲师(1990)、副教授(1996);1984年7月获学士学位(太原工学院电子系计算机专业),1987年1月获硕士学位(西北电讯工程学院计算机系),2001年6月获博士学位(北京大学计算机系)。

研究兴趣:程序设计语言,理论,与系统;并发/分布系统建模;Petri 网应用

讲授课程:编译原理; 形式语言与自动机

个人主页 ↑返回顶部

董渊

分别于1996、1998、2001年在清华大学获得学士、硕士和博士学位。2001在清华大学计算机系从事博士后研究工作,2003年任教。国家信息产业部Linux 标准工作组成员代表,CCF、ACM会员,国际会议编译后端构造技术CGO 2007 Open64 Tutorial组织者之一。

作为负责人研发清华大学THUMP CPU 配套Linux操作系统并完成实时性能改进。负责及作为科研骨干先后参与自然科学基金项目5项,863项目2项,国家攻关项目1项,国际合作及国内横向项目多项。

发表学术论文30多篇,出版著作(含教材)6部,第一完成人身份软件著作权登记2项,以第二完成人的身份获中国高校科学技术奖自然科学二等奖1项。

研究兴趣:操作系统、编译器构造和基于语言的安全,嵌入系统,软件工程理论和应用

讲授课程:《软件工程》和《编译原理专题实验》

个人主页 ↑返回顶部

白晓颖

现任清华大学计算机系副教授,软件研究所副所长,计算机协会软件工程专业委员会委员。1995年学士毕业与西北工业大学计算机系,1998年硕士毕业于北京航空航天大学计算机系。1998年9月作为博士研究生赴美国University of Minnesota计算机系学习,并于1999年12月获硕士学位,后随导师转学至美国Arizona State University计算机系继续攻读,并于2001年12月获得博士学位。2002年1月任教清华大学计算机系讲师,2005年12月任副教授。

长期以来从事软件工程相关的教学和科研工作。主要研究方向为软件工程,研究领域包括软件测试、分布式系统、面向服务计算、嵌入式系统等,近年来在模型驱动测试、测试自动化、面向服务计算、服务软件测试等方面进行了深入的研究。作为项目负责人先后承担了国家科技攻关项目、国家自然基金项目、国家863高科技项目、国际合作项目十余个项目。并作为项目骨干参加了973计划项目和自然基金联合基金重点项目。已获得软件著作权3项。在国际/国内期刊(IJSPM等)和会议(ANSS, COMPSAC, ISADS, SIGSOFT CBSE, ICWS等)上发表论文50余篇。译著2部(R. S. Pressman, Software Engineering: A Practitioner’s Approach, 6th edition),著作1部(《浅谈深析面向服务软件工程》),担任多个国际学术会议等程序委员会主席(SOSE 05)或委员(ICEBE, QSIC, COMPSAC, SEKE, HASE, WISE等)以及国际/内期刊的审稿工作。

研究兴趣:软件工程

讲授课程:本科《软件工程》;研究生《软件工程技术与设计》

个人主页 ↑返回顶部

陈渝

当前职位:清华大学计算机系软件所副教授

教育经历:国防科技大学获得学生、硕士和博士学位

研究兴趣:操作系统、普适计算、并行计算

讲授课程:本科课程:操作系统原理、操作系统专题训练 研究生课程:高级操作系统

个人主页 ↑返回顶部