清华大学软件学院

2011-11-03

软件学院举办清华软件理论论坛

2011年10月17日，清华软件理论论坛在FIT楼1-315举行。论坛特别邀请了图灵奖获得者、美国卡耐基梅隆大学Edmund Clarke教授和研究类型论著名学者、英国伦敦大学罗朝晖教授，中国科学院院士、计算机程序形式化验证方面的专家林惠民院士，以及数位嵌入式系统研发领域的航天502所的专家。数十位博士和硕士研究生参加了该论坛。论坛由软件学院举办，孙家广院士主持。 Clarke教授就他们在软件

2012-01-09

中国非结构化数据管理高峰论坛在京举行

2012年1月6日，由北京航空航天大学、清华大学和浙江大学共同组织的中国非结构化数据管理高峰论坛（CUDMS 2011）暨“核高基”科技重大专项课题成果发布会在北京国际会议中心成功召开，来自全国数据库企业、互联网企业和高校科研机构的近200名余业内精英代表参加了此次论坛。李未院士、孙家广院士、潘云鹤院士分别作了精彩主题报告，清华大学王建民教授介绍了“核高基”课题“非结构化数据管理系统”的研发

2012-03-21

三十年磨一剑——软件学院主办创新创业创富主题报告会

3月17日，北京迟来的春天又在酝酿着久旱后的第一场春雨。座无虚席乃至席地而坐的西阶教室中，洋溢着一种创造的渴望、兴奋和激情。下午2点开始的报告会，没有按预计时间结束，一直延续到5点钟，满室的同学们仍然意犹未尽，提问不断。这是一场由软件学院计算机图形学与辅助设计研究所GEMS团队组织的“三十年磨一剑——孙家广院士畅谈中国辅助设计软件的过去和未来”报告会暨团队成员招募会。孙家广院士作为特邀演讲嘉宾

2012-03-30

软件学院举办第二届“清华软件日”软件理论国际学术论坛

3月15、16两天，由我院主办、中欧联合实验室（LIAMA，北京）协办、学院软件理论与系统所承办的第二届“清华软件日”软件理论学术论坛在FIT大楼举行。今年的会议主题是“工业级验证”。 15日，5位在形式化方法基础研究中做过开创性工作，同时又在软硬件的工业级可信性验证方面取得杰出成就的国际一流学者做了特邀报告。巴黎高等师范学院的Patrick Cousot教授是“抽象解释”理论的创立人，他介绍

2012-04-23

鼓励创新思维，打造开放平台

4月19日下午，在FIT楼隆重举行了“清华之友——RIM无线研究奖学金颁奖大会”，该奖学金是由BlackBerry®智能手机生产厂商Research In Motion在清华大学设立的。软件学院本次共有36名同学获得了2011年度RIM奖学金，奖项包括三、二、一等及特等奖学金和社会工作奖学金。参加颁奖会的RIM公司领导刘征宇先生，技术总监魏崇生和技术经理王恒进和清华大学研究生工作部的李泽芳

2012-05-11

中国软件行业协会理事长赵小凡先生莅临清华大学软件学院调研并参加软件学院院庆活动

2012年4月28日，正值清华大学壹佰壹零年校庆期间，中国软件行业协会理事长兼中国电子商会副会长赵小凡先生莅临清华大学软件学院进行调研，赵小凡理事长先后来到清华大学FIT楼和软件学院教学楼，与软件学院院长孙家广院士、软件学院党委书记王建民教授、软件学院副院长丁贵广副教授以及10余位软件学院教师和50余名研究生及本科生进行了亲切沟通和交流。孙家广院士就清华大学软件学院成立10周年来各项重要进展

2012-07-29

非结构化数据管理标准工作组成立大会暨第一次工作组全会在京召开

2012年7月11日，由工业和信息化部软件服务业司和全国信息技术标准化技术委员会指导，中国电子技术标准化研究院主办，非结构化数据管理标准工作组成立大会暨第一次工作组全会在京召开。工业和信息化部软件服务业司副司长陈英、中国工程院潘云鹤院士、北京航空航天大学李未院士、清华大学孙家广院士、北京大学梅宏院士到会并发表讲话。作为“核高基”科技重大专项“非结构化数据管理系统”课题牵头单位之一，我院王建民教授

2012-08-16

软件学院召开本科新生开学典礼暨新生家长会

8月15日晚，软件学院在中央主楼接待厅举行2012级本科新生开学典礼暨新生家长会。院长孙家广、院党委书记王建民出席典礼并分别致辞。院党委副书记彭凌主持会议。孙家广在致辞中欢迎新同学，并希望学生能努力“立志、立德、立行”。立志，即要有明确的志向，要胸怀大志；立德，要成为有基本道德素养的合格公民；立行，要实事求是、求真务实，做好身边事，走好眼前路。孙家广强调，只有坚持从我做起，从现在做起，从点滴

2012-08-30

我院代表队获得“第三届中国大学生服务外包创新创业大赛”一等奖

8月25日，由国家商务部、国家教育部和无锡市人民政府联合举办的第三届中国大学生服务外包创新创业大赛隆重闭幕。来自清华大学软件学院的在读研究生陈茜、殷明，本科生刘新宇、唐旺、林琼政五名队员组成的“水木新曲”代表队，经过两个多月的积极备赛，从来自全国158所高等院校的246支代表队中脱颖而出，最终凭借《移动城市便民应用》项目荣获标准类赛题一等奖，《霞客行——智慧旅游新模式》项目获得上报类赛题二等奖

2012-09-21

软件学院举行本科生新生师生座谈会

9月20日下午，在软件学院217教师，软件学院的老师们来到同学们中间，与2字班新生亲密接触交流。院长孙家广院士、党委书记王建民老师、学术委员会主任刘云浩教授等软件学院全体老师们都来到同学们中间。孙院长说：“老师们最希望看到的，就是自己的学生超过自己。你们一定要加油，争取早日超过我们。”同学们都都为院长的话所鼓舞。刘云浩老师为同学们带来了精彩的演讲。刘老师引经据典，以1587年英西海