团队

Andreas Podelski教授

• podelski@informatik.uni-freiburg.de
• 软件生产力工具；程序验证与分析；需求工程

Daniel Dietsch博士

• dietsch@informatik.uni-freiburg.de
• 实际中的需求、静态分析、建模、过程、形式化方法

Jochen Hoenicke博士

• hoenicke@informatik.uni-freiburg.de
• 程序验证，顺序和并发程序的不变量生成，SMT中的插值

Bernd Westphal博士

• westphal@informatik.uni-freiburg.de公司
• 无限状态动态拓扑系统、无线传感器网络、实时系统、形式化方法和SME、软件建模、可视化形式化

安娜·利奥利奥斯-齐默尔曼

• anna.liolios-zimmermann@informatik.uni-freiburg.de
• 行政部门

马丁·普雷恩

• preen@informatik.uni-freiburg.de
• 法库尔特研究所系统与Netzwerkadministration für Lehrstuhl

安德烈亚斯·德雷亚尼

• andreas.dereani@daimler.com
• E/E和软件测试方法

尼科·豪夫

• hauffn@informatik.uni-freiburg.de
• 需求工程，自然语言处理

伊丽莎白·汉克尔

• henkele@informatik.uni-freiburg.de
• 克雷格插值、SMT求解、要求

多米尼克·克伦普

• klumpp@informatik.uni-freiburg.de
• 自动验证、并发程序、控制流

Vincent Langenfeld博士

• langenv@informatik.uni-freiburg.de
• 需求工程、模型检查

克里斯蒂安·路透社

• reuter@informatik.uni-freiburg.de
• 需求工程、变型管理、特征建模

坦尼娅·辛德勒

• 迅达@informatik.uni-freiburg.de
• SMT求解，克雷格插值

弗兰克·舒赛尔

• schuessf@informatik.uni-freiburg.de
• 并发程序、软件验证

丽贝卡·阿尔布雷希特

• arlt@informatik.uni-freiburg.de邮箱
• 软件测试和程序分析

杰琳娜·巴思

• barth@informatik.uni-freiburg.de
• 领域特定语言
   

Bruno Berstel-Da Silva博士

• berstel@informatik.uni-freiburg.de
• 基于规则的程序的分析和验证。
   

Sergiy Bogomolov博士

• bogom@informatik.uni-freiburg.de
• 混合系统、验证、软件工程。

贝里特·布劳尔

• brauer@informatik.uni-freiburg.de
• 行政助理

Jürgen Christ博士

• christj@informatik.uni-freiburg.de
• SMT求解、克雷格插值、不变量生成、模型检查

Evren Ermis博士

• ermis@informatik.uni-freiburg.de
• 软件模型检查、程序分析和验证、调试、故障定位

Harald Fecher博士

• fecher@informatik.uni-freiburg.de
• 模型检查、抽象、实时、分支时间、形式语义、UML状态机、过程代数

Sergio Alejandro Feo-Arenis博士

• arenis@informatik.uni-freiburg.de
• 实时系统。嵌入式系统验证。

Marius Greitschus博士

• greitsch@informatik.uni-freiburg.de
• 静态分析、软件验证、混合系统验证

Christian Herrera博士

• salazars@informatik.uni-freiburg.de公司
• 模型检查，TDMA协议验证，实时系统，静态分析。

亚历山大·马尔基斯博士

• malkis@imdea.org

Stefan Maus博士

• maus@informatik.uni-freiburg.de
• 装配工验证，工具集成

科琳娜·米特罗欣博士

• mitrohin@informatik.uni-freiburg.de
• 混合系统验证、安全和稳定性。

Tobias Morciniec博士

• morciniec@informatik.uni-freiburg.de
• 测试计划、需求分析、软件工程

Marco Muñiz博士

• muniz@informatik.uni-freiburg.de
• 决策程序、模型检查

Alexander Nutz博士

• nutz@informatik.uni-freiburg.de
• 克雷格插值，模型检查
   

Amalinda Post博士

• Amalinda.Post@de.bosch.com
• 需求工程、软件工程、过程改进/CMMI、测试、形式化方法
   

Martin Schäf博士

• schaef@informatik.uni-freiburg.de公司
• 目前我正在处理末日计划点数。

Christian Schilling博士

• schillic@informatik.uni-freiburg.de
• 混合系统，自动机理论

Mohammed Nassim Seghir博士

• seghir@informatik.uni-freiburg.de
• 软件模型检查、程序分析。

Martin Wehrle博士

• mwehrle@informatik.uni-freiburg.de
• 模型检查、人工智能规划、启发式搜索

Thomas Wies博士

• wies@informatik.uni-freiburg.de邮箱
• 程序分析和验证、形状分析、自动抽象、抽象细化、自动推理的应用。

Bernd Westphal博士

• westphal@informatik.uni-freiburg.de
• 无限状态动态拓扑系统、无线传感器网络、实时系统、形式化方法和SME、软件建模、可视化形式化