萨尔州信息学院研究小组
A类
Agent和模拟现实 （Philipp Slusallek教授）
代数几何与计算机代数 （弗兰克·奥拉夫·施雷耶教授博士）
算法生物信息学 （斯文·拉赫曼教授）
算法基础和密码学 （Antoine Joux教授博士）
算法和复杂性 （h.c.mult.Kurt Mehlhorn博士教授）
算法和复杂性 （Danon Nanongkai博士）
算术推理 （PD托马斯·斯特姆博士）
逻辑自动化 （克里斯托夫·魏登巴赫教授博士）
B类
大数据分析 （Jens Dittrich教授博士）
生物信息学 （Hans-Peter Lenhof教授博士）
生物信息学 （沃尔卡德·赫尔姆斯教授）
C类
临床生物信息学 （安德烈亚斯·凯勒教授）
云软件系统 （乔纳森·梅斯博士）
人类语言处理的认知模型及其在对话系统中的应用 （Vera Demberg教授博士）
计算体系结构与并行计算 （沃尔夫冈·保罗教授）
计算复杂性 （Markus Bläser教授）
计算交互 （安娜·玛丽亚·费特教授）
计算语言学 （亚历山大·科勒教授）
计算语言学与语音学 （曼弗雷德·平卡尔教授博士）
计算机制图 （Hans-Peter Seidel教授博士）
计算机制图 （Philipp Slusallek教授）
计算机安全与隐私、形式逻辑、编程语言 （Deepak Garg教授博士）
计算机视觉与机器学习 （伯恩特·席勒教授博士）
计算机视觉与机器感知实验室 （Eddy Ilg博士教授）
D类
数据驱动药物设计 （安德烈亚·沃卡默教授）
数据库和信息系统 （Gerhard Weikum教授博士）
可废弃的系统和软件 （霍尔格·赫尔曼斯教授）
分布式系统 （彼得·德鲁舍尔教授）
E类
探索性数据分析 （Jilles Vreeken教授）
F类
细粒度复杂性与算法设计 （卡尔·布林曼教授）
形式化方法 （卡斯·克雷默斯教授）
算法验证基础 （乔尔·瓦克宁教授）
人工智能基础 （Jörg Hoffmann博士教授）
G公司
图形、视觉和视频 （Christian Theobalt教授博士）
H（H）
高动态范围成像 （PD Karol Myszkowski博士）
人机交互 （于尔根·斯泰姆勒教授博士）
人-微生物系统生物信息学 （Alexey Gurevich教授博士）
我
图像处理与计算机视觉 （Joachim Weickert教授博士）
信息安全与密码学 （h.c.Michael Backes博士教授）
综合细胞生物学和生物信息学 （Fabian Müller教授博士）
智能信息系统 （PD Matthias Klusch博士）
互联网架构 （Anja Feldmann博士教授）
K
知识库建设与质量 （西蒙·拉兹涅夫斯基博士）
L（左）
语言、计算和认知 （迈克尔·哈恩教授博士）
法律信息学、IT安全和隐私 （克里斯托夫·索尔格教授）
M（M）
机器学习 （伊莎贝尔·瓦莱拉教授）
机器教学 （阿迪什·辛拉博士）
数学与计算机科学 （劳伦特·巴托尔迪教授）
数学与计算机科学 （彼得·奥克斯教授博士）
模型制作与模拟试验 （维伦娜·沃尔夫教授）
现代密码学 （尼科·德特林博士）
多语言技术 （Josef van Genabith博士教授）
N个
网络化系统 （Krishna Gummadi教授博士）
O（运行）
操作系统研究 （安托万·考夫曼博士）
优化 （安德烈亚斯·卡伦鲍尔博士）
P（P）
参数化算法和复杂性 （达尼尔·马克思教授）
实用形式化方法 （玛丽亚·克里斯塔基斯博士）
编程 （塞巴斯蒂安·哈克教授）
编程语言、软件验证近似计算 （Eva Darulová博士）
编程系统 （格特·斯莫尔卡教授博士）
问
定量验证 （本杰明·卡明斯基教授）
R（右）
无功系统 （Bernd Finkbeiner教授博士）
真实虚拟人 （杰拉尔德·蓬斯·莫尔博士）
实时和嵌入式系统 （Jan Reineke教授博士）
S公司
可扩展学习和感知 （马里奥·弗里茨教授）
非正式文本的搜索、挖掘和学习 （Andrew Yates博士）
安全的网络物理系统 （尼尔斯·奥勒·蒂彭豪尔博士）
安全Web应用程序 （Ben Stock博士）
语义数据：推理和学习 （Daria Stepanova博士）
智能服务工程 （沃尔夫冈·马教授）
社会计算 （Ingmar Weber教授博士）
软件和硬件系统 （Martina Maggio教授博士）
软件工程 （安德烈亚斯·泽勒教授）
软件工程与编程方法 （Sven Apel博士教授）
口语系统 （Dietrich Klakow教授博士）
蛋白质相互作用的结构生物信息学 （奥尔加·加里尼娜教授）
系统安全 （克里斯蒂安·罗索教授博士）
T型
技术强化学习 （Tomohiro Nagashima教授博士）
远程通信实验室 （托尔斯滕·赫费特教授）
文本+时间搜索和分析 （克劳斯·贝贝里奇博士）
理论计算机科学 （雷蒙德·塞德尔教授）
分布式计算理论 （克里斯托夫·伦岑博士）
可信系统 （工程师Sven Bugiel博士）
类型系统和函数编程 （Derek Dreyer教授）
U型
无处不在的媒体技术 （安东尼奥·克鲁格教授）