清华大学计算机学科第二届外籍顾问委员
发表时间:2020年10月20日
计算机系召开毕业生座谈会
6月15日下午计算机系在系馆101会议室按毕业生毕业去向分别召开了国防生、出国留学、本科生就业和研究生就业专场座谈会。系党委副书记刘奕群参加座谈会并认真听取和回答了同学们关于课程设置、校园学习生活、就业引导及职业规划等方面的建议和问题，同时刘奕群勉励国防生同学“携笔从戎、献身国防”，鼓励出国留学的同学“学业有成、心系祖国”，建议就业的同学“做好职业规划、尽快完成从学生到职业人的角色转变”。系党委
发表时间:2012年06月22日
我系召开操作系统内核分析及形式化验证专题研讨会
6月13日-14日，操作系统内核分析及形式化验证专题研讨会在清华大学东主楼召开。研讨会邀请北京科银京成技术公司朱明远，中国科技大学冯新宇、郭宇、华宝健，北京语言大学陈鹏等专家，我系软件所系统软件相关师生十余人参加。研讨会首先由中国科技大学郭宇副教授介绍了中科大近年来在操作系统内核形式化验证方面的研究，随后大家研讨了操作系统内核形式化验证的技术路线和方案，大家针对此方向的困难和存在的问题等相关话题
发表时间:2012年06月22日
我系承办ACM SIGPLAN Open64 Workshop 2012
6月15日，ACM SIGPLAN Open64 Workshop 2012在北京五洲大酒店成功举办，该活动是ACM PLDI 2012（编程语言设计与实现）会议的组成部分，活动围绕开源编译系统Open64开展，由来自新南威尔士大学薛京灵教授的特邀报告、来自国内外的7个学术报告和1个小型辩论会组成。Open64是全球性能领先的开源高性能编译系统，已知开发和用户群包括AMD、Google、HP
发表时间:2012年06月22日
我系学生获得两岸清华程序设计比赛冠军
6月25日，2012年两岸清华暨香港科技大学程序设计比赛在新竹清华大学进行，经过5个小时的激烈角逐，由我系方展鹏、武森、莫涛同学组成的北京清华大学一队和汤可因、陈高远、陈键飞同学组成的北京清华大学二队分获冠、亚军，由我系叶紫同学与新竹清华、香港科大女选手共同组成的女生联队获得第七名。新竹清华大学资讯工程系系主任金仲达教授为获奖选手颁奖，北京清华大学计算机系党委副书记刘奕群和信研院邬晓钧老师
发表时间:2012年06月28日
我系论文被IEEE/ACM ICCAD2012录用
日前，清华大学计算机系硕士生何瑞宁（导师：边计年，马昱春）的论文《ISBA：基于独立集的动态部分重构模块自动生成算法》（ISBA: An Independent Set-Based Algorithm for Automated Partial Reconfiguration Module Generation）被IEEE/ACM计算机辅助设计国际会议（The International
发表时间:2012年07月02日
升华创先争优成果，面向重大战略需求
——校党委书记胡和平参加计算机系软件所党支部活动 6月22日下午计算机系软件所党支部举行组织生活会，总结本学期的支部工作情况并学习中共中央政治局常委、国家副主席习近平同志视察清华大学和在部分高校党建工作座谈会上的重要讲话精神。校党委书记胡和平作为创先争优活动中软件所党支部的联系人参加会议。计算机系党委书记孙茂松、研究生工作组组长贾珈老师以及软件所支部党员共同参加了组织生活会。 图为胡和平讲话
发表时间:2012年07月02日
校党委副书记韩景阳与计算机系国防毕业班座谈
2012年7月2日下午，校党委副书记韩景阳来到我系，与计算机系国防毕业班计81班进行座谈。 首先，计81班班长向飞从党建工作、学风建设、感情建设、文体建设、军政训练、毕业去向等方面向韩景阳老师汇报了计81班在大学四年中班级各项建设的基本情况。计81班曾获得校甲级团支部、系优良学风班、校优秀国防毕业班等荣誉称号。在班级党支部的带领下，四年中始终贯彻了“不抛弃，不放弃”的班级精神，全班同学履约投身
发表时间:2012年07月03日
我系举办2012年清华大学信息学邀请赛暨夏令营
2012年6月26日至29日，由我校教务处和计算机系联合主办的2012年清华大学信息学邀请赛暨夏令营在我校举行。活动旨在使全国信息学方面表现优异的高中学生更好地了解清华，同时进一步密切我校与各地高中的友好联系。本次夏令营活动共邀请到了来自全国22个省、市的高中信息学子114人，同时也邀请到各高中老师及学生家长50人。 图为计算机系主任吴建平致开幕词 图为胡事民教授做主题报告 6月26日上午
发表时间:2012年07月05日
我系博士生论文被《物理评论快报》接收
近日，计算机系智能技术与系统重点实验室理论组博士生俞能昆（导师：应明生）等的论文《四个正交不能局域分辨的4×4最大纠缠态》（Four locally indistinguishable ququad-ququad orthogonal maximally entangled states ）被《物理评论快报》（Physical Review Letters）录用。论文发现了四个正交但是不能被局域
发表时间:2012年07月05日
