形式化方法 研究领域简要概述 “相当肯定”是这一研究领域的目标。传感器是否足够早地检测到碰撞，以便安全气囊有足够的时间展开并挽救驾驶员的生命？研究人员希望能够回答所有应用领域中复杂软件的此类问题。他们的秘密武器：数学逻辑和概率。 在萨尔布吕肯，理论计算机科学这一研究领域在整个计算机科学系以及马克斯·普朗克信息学研究所拥有众多教授椅和初级研究小组。 该领域的教授 Markus Bläser教授博士萨尔州大学教授计算复杂性萨尔州大学萨尔州信息学院E1 3，R.41266123萨尔布吕肯德国+49 681 302-5501助理：+49 681 302-3434电子邮件主页Karl Bringmann教授博士萨尔州大学教授算法和复杂性萨尔州大学萨尔州信息学院E1 3，R.41466123萨尔布吕肯德国+49 681 302-4447电子邮件主页Cas Cremers教授CISPA亥姆霍兹信息安全中心教授安全性和形式化方法CISPA亥姆霍兹信息安全中心萨尔州信息学院E9 1，R.10666123萨尔布吕肯德国+49 681 302-70986电子邮件主页Derek Dreyer教授马克斯·普朗克软件系统研究所（MPI SWS）科学主任兼教授编程基础马克斯·普朗克软件系统研究所（MPI SWS）萨尔州信息学院E1第5页66123萨尔布吕肯德国+49 681 9303-8701电子邮件主页Bernd Finkbeiner教授博士CISPA亥姆霍兹信息安全中心教授无功系统CISPA亥姆霍兹信息安全中心萨尔州信息学院E1 1，R.11166123萨尔布吕肯德国+49 681 302-5651助理：+49 681 302-5650电子邮件主页Deepak Garg博士教授马克斯·普朗克软件系统研究所（MPI SWS）教授计算机安全与隐私、形式逻辑、编程语言马克斯·普朗克软件系统研究所（MPI SWS）萨尔州信息学院E1 5，R.41266123萨尔布吕肯德国+49 681 9303-9201电子邮件主页Holger Hermanns教授萨尔州大学教授可靠的系统和软件萨尔州大学萨尔州信息学院E1 3，R.50166123萨尔布吕肯德国+49 681 302-5631电子邮件主页Jörg Hoffmann博士教授萨尔州大学教授人工智能基础萨尔州大学萨尔州信息学院E1 1，R.31866123萨尔布吕肯德国+49 681 302-71471助理：+49 681 302-70141电子邮件主页本杰明·卡明斯基教授计算机科学系教授定量验证计算机科学系萨尔州信息学院E1 3，R.50666133萨尔布肯德国电子邮件主页h.c.mult博士。库尔特·梅尔霍恩萨尔州大学资深教授算法和复杂性萨尔州大学萨尔州信息学院第4页66123萨尔布吕肯德国+49 681 9325-100电子邮件主页Peter Ochs教授博士计算机科学系教授数学与计算机科学计算机科学系萨尔州信息学院E1 1，R.40666123萨尔布吕肯德国电子邮件主页Joöl Ouaknine教授马克斯·普朗克软件系统研究所（MPI SWS）科学主任兼教授算法验证基础马克斯·普朗克软件系统研究所（MPI SWS）萨尔州信息学院E1第5页66123萨尔布吕肯德国+49 681 9303-9701电子邮件主页Wolfgang J.Paul教授博士萨尔州大学名誉教授计算机体系结构与并行计算萨尔大学E1 3，R.30566123萨尔布吕肯德国+49 681 302-2436电子邮件主页Jan Reineke博士教授萨尔州大学教授实时和嵌入式系统萨尔州大学萨尔州信息学院E1 3，R.41066123萨尔布吕肯德国+49 681 302-4448电子邮件主页Raimund Seidel博士教授萨尔州大学教授理论计算机科学萨尔州大学萨尔州信息学院E1 3，R.41066123萨尔布吕肯德国+49 681 302-4513电子邮件主页Gert Smolka教授萨尔州大学教授编程系统萨尔州大学萨尔州信息学院E1 3，R.51466123萨尔布吕肯德国+49 681 302-5311助理：+49 681 302-5312电子邮件主页Christoph Weidenbach教授博士马克斯·普朗克信息学研究所（MPI INF）教授逻辑自动化马克斯·普朗克信息学研究所（MPI INF）萨尔州信息学院第4页66123萨尔布吕肯德国+49 681 9325-2900电子邮件主页Verena Wolf博士教授萨尔州大学教授模型制作与模拟试验萨尔州大学萨尔州信息学院E1 3，R.30366123萨尔布吕肯德国+49 681 302-5586电子邮件主页 该领域的初级教师 玛丽亚·克里斯塔基斯博士马克斯·普朗克软件系统研究所（MPI SWS）组长编程语言与验证马克斯·普朗克软件系统研究所（MPI SWS）Paul-Ehrlich大街G26 G 26，R.40767663凯泽斯劳滕德国+49 631 9303-9401电子邮件主页Eva Darulová博士马克斯·普朗克软件系统研究所（MPI SWS）组长编程语言、软件验证、近似计算马克斯·普朗克软件系统研究所（MPI SWS）萨尔州信息学院第4页66123萨尔布吕肯德国+49 681 9303-8101电子邮件主页PD Swen Jacobs博士CISPA亥姆霍兹信息安全中心组长形式化方法、并发系统和分布式系统CISPA亥姆霍兹信息安全中心凯泽斯特拉170-174 B6.2，R.2.05圣英格伯特66386号德国+49 681 302-5666电子邮件主页安德烈亚斯·卡伦鲍尔博士马克斯·普朗克信息学研究所组长组合优化马克斯·普朗克信息学研究所（MPI INF）萨尔州信息学院E1 4，R.30766123萨尔布吕肯德国+49 681 9325-1007电子邮件主页Christoph Lenzen博士马克斯·普朗克信息学研究所组长分布式和嵌入式系统理论马克斯·普朗克信息学研究所（MPI INF）萨尔州信息学院E1 4，R.30866123萨尔布吕肯德国+49 681 9325-1008电子邮件主页Daria Stepanova博士马克斯·普朗克信息学研究所组长语义数据马克斯·普朗克信息学研究所（MPI INF）萨尔州信息学院E1 4，R.40466123萨尔布吕肯德国+49 681 9325-5004电子邮件主页PD Thomas Sturm博士马克斯·普朗克信息学研究所组长自动推理与非线性算法马克斯·普朗克信息学研究所（MPI INF）萨尔州信息学院E1 5，规则60866123萨尔布吕肯德国+49 681 9325-2920电子邮件主页Georg Zetzsche博士马克斯·普朗克软件系统研究所（MPI SWS）组长马克斯·普朗克软件系统研究所（MPI SWS）Paul-Ehrlich大街G26 G 26，R.40667663凯泽斯劳滕德国+49 631 9303-8901电子邮件主页
