我系召开操作系统内核分析及形式化验证专题研讨会
6月13日-14日，操作系统内核分析及形式化验证专题研讨会在清华大学东主楼召开。研讨会邀请北京科银京成技术公司朱明远，中国科技大学冯新宇、郭宇、华宝健，北京语言大学陈鹏等专家，我系软件所系统软件相关师生十余...
6月13日-14日，操作系统内核分析及形式化验证专题研讨会在清华大学东主楼召开。研讨会邀请北京科银京成技术公司朱明远，中国科技大学冯新宇、郭宇、华宝健，北京语言大学陈鹏等专家，我系软件所系统软件相关师生十余...
6月15日，ACM SIGPLAN Open64 Workshop 2012在北京五洲大酒店成功举办，该活动是ACM PLDI 2012（编程语言设计与实现）会议的组成部分，活动围绕开源编译系统Open64开展，由来自新南威尔士大学薛京灵教授的特邀报告、...
5月28日，普渡大学计算机科学系助理教授司罗（清华大学计算机系1993级系友）、University of Delaware电子与计算机工程系助理教授方辉（清华大学计算机系1997级系友）受邀来访，并分别做学术报告“A Learning Approa...
2012年6月2日至3日，计算机系智能技术与系统国家重点实验室（以下简称重点实验室）召开重点实验室学科发展研讨会。北京大学高文院士、我校信息科学与技术国家实验室常务副主任李军、我校计算机系副主任陈文光以及中科...
5月16日，美国科学院、工程院、艺术与科学院院士，康奈尔大学教授Jon Kleinberg做客由我系举办的清华信息大讲堂，为我校师生作“Computational Models of Social Phenomena in Networks”的学术报告，报告吸引了100多...
3月14日下午，美国印第安纳大学-普渡大学-印第安纳波利斯分校工程学院院长鲁索曼诺（Russomanno）教授一行3人访问计算机系。计算机系副系主任陈文光在东主楼十区101会议室接待了来宾。陈文光教授首先对代表团的来访表...
3月1日下午，汪成为院士兼职教授聘任仪式在信息科学技术大楼二层多功能厅举行，副校长邱勇参加了仪式并为汪成为院士颁发了聘书。 聘任仪式由计算机系主任吴建平主持，邱校长代表学校对汪成为院士续聘我系兼职教授表示...
2012年2月23日上午，航天信息股份有限公司总经理於亮、副总经理韦红文、数字技术研究院副院长金端峰、数字技术研究院副院长张飚、办公室主任王增梅等一行5人访问我系。系主任吴建平、党委书记孙茂松、软件所所长蔡懿...
2月10日，由我系数据库组独立完成的论文：“Can We Beat The Prefix Filtering? An Adaptive Framework for Similarity Join And Search”（王健楠、李国良、冯建华）被数据库领域的顶级国际会议ACM International C...
近日，成立一年的清华大学-腾讯互联网创新技术联合实验室在京召开2011年度总结汇报会。科技部高技术研究发展中心嵇智源处长、教育部科技司李渝红处长出席会议并听取了会议报告，他们充分肯定了实验室的工作成果并对实...
