欢迎光临
苏黎世理工学院在2001年底至2016年间担任软件工程主席，由Bertrand Meyer教授领导。目前的网站仍在积极维护中，其中包含了关于主席的项目、成就和人员的广泛信息。
主席的成员完成了数十个研究项目，从外部来源吸引了超过800万法郎/美元/欧元的资金，其中包括一个ERC高级研究员赠款项目（后来转移给米兰理工大学），监督数百篇硕士论文，发表数百篇文章，数十篇会议记录和三本书完成23篇博士论文。我们负责第一学期的“程序设计入门”课程，该课程介绍了大约5000名入学学生2003年至2015年的现代编程，以及数十门其他各级课程。
我们的研究在软件工程的几个领域提升了技术水平，包括：
- 软件验证（证明和测试）
- 并发
- 机器人软件
- 分布式协同开发
- 经验软件工程
- 在线学习技术(MOOC公司)
- 语言设计和进化（特别关注埃菲尔）
作为我们活动的一部分，我们组织了如下活动年度LASER暑期学校以及许多国际会议：TOOLS（面向对象语言和系统技术）的几个实例，前两个TAP（测试和验证）、ESEC（欧洲软件工程会议）、SEAFOOD（外包软件工程）、，Wirth 80周年座谈会，第一个VSTTE（验证软件：理论、工具、实验），以及来自各地的客座演讲者参加的众多研讨会。
在梅耶教授的领导下，许多项目以不同的形式在其他机构继续进行，包括米兰理工大学、因诺波利斯大学、图卢兹大学、埃菲尔软件公司以及最近的沙夫豪森理工学院。
新闻
我们的档案过去的新闻和更新可以找到在这里.
最新出版物
另请参阅我们的完整出版物列表用于PDF、书目数据和旧文章。
| 标题 |
作者 |
会议或期刊 |
认可的 |
| SafeGPU：面向对象语言的基于合同和库的GPGPU |
科列斯尼琴科,Poskitt公司,南兹
|
通信局域网 |
2016年8月6日 |
| SmartWalker：智能机器人步行器 |
小腿,鲁萨科夫,迈耶
|
杰斯 |
2016年6月8日 |
| 网络对象的无干扰规划模型 |
席尔,Poskitt公司,迈耶
|
2016年协调 |
2016年3月30日 |
| 基于图的并发异步程序语义工作台 |
科罗迪,休纳，Poskitt公司
|
2016年FASE |
2015年12月18日 |
| 基于合同的通用GPU编程 |
科列斯尼琴科,Poskitt公司,南兹,迈耶
|
GPCE 2015年 |
2015年7月27日 |
| 便于机器人协调的并发模式 |
鲁萨科夫,小腿,迈耶
|
2015年IROS |
2015年6月29日 |
| 高效合理的面向对象并发 |
西部,南兹,迈耶
|
ESEC/FSE 2015 |
2015年5月27日 |
| 自动校对器：非专家和标准代码的可用性 |
Furia公司,Poskitt公司,Tschannen公司
|
F-IDE 2015年 |
2015年5月12日 |
| SmartWalker的自动速度控制 |
小腿,斯坦曼，迈耶
|
PETRA 2015年 |
2015年4月27日 |
| 推断循环不变量突变、动态分析和静态检查 |
加莱奥蒂，福里亚,梅、弗雷泽、泽勒 |
IEEE TSE标准 |
2015年4月26日 |
