3、编程语言设计与形式化方法的组织架构

编程语言设计与形式化方法的组织架构

1. 程序委员会主席

在任何学术研究和出版物中，组织架构是确保其成功和高质量的重要组成部分。对于这本献给克劳斯·哈韦隆德66岁生日的纪念文集，程序委员会主席发挥了关键作用。以下是三位程序委员会主席的详细介绍：

• Ezio Bartocci
• 机构 : TU Wien, 奥地利

• 贡献 : Ezio Bartocci在形式化方法和编程语言设计方面有着丰富的研究经验。他致力于推动编程语言设计的现代化，尤其是在运行时验证和自动机学习领域。

• Yliès Falcone

• 机构 : Univ. Grenoble Alpes, 法国

• 贡献 : Yliès Falcone专注于交互系统的建模和验证，特别是通过接口断言和接口谓词进行规范。他为摩尔机的完全可实现性做出了重要贡献，通过逻辑公式和强因果性函数进行研究。

• Martin Loewer

• 机构 : 吕贝克大学, 德国
• 贡献 : Martin Loewer在编程语言设计和分析方面有着深厚的背景，尤其是在静态分析和运行时验证方面。