新闻动态
分享到
2018-12-05
软件学院团队在2018年清华大学教职工乒乓球赛中并列第五名
11月12日晚,一年一度的清华大学教职工乒乓球赛在校工会教工活动中心和离退休处乒乓球室拉开战幕。11月19日晚,经过7个比赛日、60场混合团体赛和32场单打比赛的激烈角逐,最终软件学院在团体赛中获得并列第五名的好成绩。
2018-11-30
软件学院党员集体党课 学习《钱学森科技报国的圆梦历程》
11月29日下午,软件学院全体师生党员与积极分子200余人在法学院明理楼112教室聆听了由钱永刚教授讲授的集体党课《钱学森科技报国的圆梦历程》。党课由软件学院党委书记王斌主持。
2018-11-29
2018清华工业大数据技术论坛举行——汇聚行业专家 共建开源生态
11月28日上午,2018清华工业大数据技术论坛在清华大学信息科技大楼FIT多功能厅成功举行。这是清华大学大数据研究中心成立以来,促进全校大数据科学、技术与应用深度交叉与融合发展,建设大数据技术创新研究平台的又一里程碑事件。
2018-11-29
工业大数据系统与应用北京市重点实验室第二届学术委员会举行
11月28日上午,工业大数据系统与应用北京市重点实验室第二届学术委员会会议在清华大学信息科技大楼1-315会议室举行。这是实验室成立以来,建设工业领域大数据技术创新研究平台的又一里程碑事件。
2018-11-14
软件学院可信网络与系统研究所师生获首届IEEE国际工业互联网大会最佳论文奖
2018年10月21日,首届IEEE国际工业互联网大会在美国西雅图贝尔维尤成功召开。会议得到了学术界与工业界的共同关注,互联网之父Vinton G. Cerf 做了题为“Musings on the
Industrial Internet”的大会主旨演讲,与会各国研究人员就工业互联网的前沿成果、发展机遇和潜在挑战开展了广泛而深入的交流。
2018-10-30
软件学院刘世霞项目团队荣获2018年CCF科学技术奖自然科学二等奖
2018年10月26日中国计算机学会(CCF)在杭州国际博览中心四层大宴会厅举行颁奖晚宴。CCF理事、监事、CNCC会议代表、各大媒体和赞助机构代表、国际合作学术组织等五百余位嘉宾应邀参加颁奖。由清华大学软件学院刘世霞副教授合作团队完成的“非结构化数据可视分析理论与方法”项目荣获2018CCF科学技术奖自然科学二等奖。
2018-10-29
清华大学软件学院竺俊超等荣获NDBC 2018最佳论文奖
2018年10月12日至14日,第35届中国数据库学术会议(NDBC
2018)在大连举行。清华大学软件学院博士研究生竺俊超和导师王朝坤副教授共同完成的论文《复杂条件下的社区搜索方法》荣获大会最佳论文奖(全会仅1篇),该文同时还获得“萨师煊优秀论文奖”。NDBC是数据库领域最重要的国内会议,2018年共收到研究论文投稿180余篇。
2018-09-27
清华大学大数据研究中心揭牌成立 大数据研究中心发展战略研讨会同期举行
9月26日下午,清华大学大数据研究中心在揭牌成立,这是清华大学聚焦科技前沿发展,建设世界一流大学的重要举措,也是科研体制机制改革进程中的又一里程碑事件。清华大学软件学院教授、中国工程院院士孙家广出任大数据研究中心首任主任;美国国家科学院、工程院、艺术与科学院院士,加州大学伯克利分校特聘教授,清华大学杰出访问教授迈克尔.欧文.乔丹(Michael
I. Jordan)任中心首届学术委员会主任。
2018-09-26
“聚焦行业前沿,感受时代脉搏”软件学院海外实践支队赴美国硅谷进行学术与文化交流
2018年8月9日至18日,在清华大学软件学院高跃副教授的带领下,来自清华大学软件学院、电子工程系的15名本科生和博士生,在美国硅谷地区开展行业认知类海外社会实践。探秘硅谷——软件学院赴美海外实践支队(下简称“探秘硅谷”支队)围绕计算机行业的前沿领域、硅谷产学研一体化、创新创业现状等主题深入高校、企业进行参观座谈和体验式学习,开拓行业视野,培养全球胜任力。
2018-09-20
软件学院师生在IEEE/ACM自动软件工程国际会议上获奖
2018年9月3日至7日,第33届IEEE/ACM自动软件工程国际大会在法国Montpellier召开。由清华大学软件学院贺飞副教授同其博士研究生陈建辉完成的论文《基于控制流引导的程序验证SMT问题求解》(Control
Flow-Guided SMT Solving for Program Verification)获得大会“杰出论文奖”(ACM SIGSOFT Distinguished
Papers)。该论文针对程序验证的一阶理论可满足性判定问题(Satisfiability Modulo Theories,
SMT),创新的提出了利用程序控制流信息的方法,构造程序变量偏序关系,引导SMT自动推理过程,显著提高了SMT的求解速度,改进了程序验证的效率与规模。