Team

Prof. Dr. Andreas Podelski

• podelski@informatik.uni-freiburg.de
• software productivity tools; program verification and analysis; requirements engineering

Dr. Daniel Dietsch

• dietsch@informatik.uni-freiburg.de
• Requirements, Static Analysis, Modelling, Processes, Formal methods in practice

Dr. Jochen Hoenicke

• hoenicke@informatik.uni-freiburg.de
• program verification, invariant generation for sequential and concurrent programs, interpolation in SMT

Dr. Bernd Westphal

• westphal@informatik.uni-freiburg.de
• Infinite-state Dynamic Topology Systems, Wireless Sensor Networks, Real-Time Systems, Formal Methods and SMEs, Software Modelling, Visual Formalisms

Anna Liolios- Zimmermann

• anna.liolios-zimmermann@informatik.uni-freiburg.de
• Administrationsassistenz

Martin Preen

• preen@informatik.uni-freiburg.de
• System- & Netzwerkadministration für Lehrstuhl, Institut, Fakultät

Andreas Dereani

• andreas.dereani@daimler.com
• E/E & Software Testing Methods

Nico Hauff

• hauffn@informatik.uni-freiburg.de
• Requirements Engineering, Natural Language Processing

Elisabeth Henkel

• henkele@informatik.uni-freiburg.de
• Craig interpolation, SMT Solving, Requirements

Dominik Klumpp

• klumpp@informatik.uni-freiburg.de
• Automatic Verification, Concurrent Programs, Control Flow

Dr. Annie-Isabell Langenfeld

• langenfv@informatik.uni-freiburg.de
• Requirements Engineering, Model Checking

Christian Reuter

• reuter@informatik.uni-freiburg.de
• Requirements Engineering, Variant Management, Feature Modeling

Tanja Schindler

• schindle@informatik.uni-freiburg.de
• SMT Solving, Craig Interpolation

Frank Schüssele

• schuessf@informatik.uni-freiburg.de
• Concurrent Programs, Software Verification

Marcel Ebbinghaus

• ebbima@informatik.uni-freiburg.de
• Concurrent Programs, Software Verification

Manuel Bentele

• bentele@informatik.uni-freiburg.de
• Software Engineering, Program Verification, Embedded Systems

Enrique Román Calvo

• calvo@informatik.uni-freiburg.de
• Program Verification, Concurrency, Distributed Systems

Rebecca Albrecht

• arlt@informatik.uni-freiburg.de
• Software Testing and Program Analysis

Jelena Barth

• barth@informatik.uni-freiburg.de
• domain specific languages
   

Dr. Bruno Berstel-Da Silva

• berstel@informatik.uni-freiburg.de
• Analysis and verification of rule-based programs.
   

Dr. Sergiy Bogomolov

• bogom@informatik.uni-freiburg.de
• Hybrid Systems, Verification, Software Engineering.

Berit Brauer

• brauer@informatik.uni-freiburg.de
• Administrationsassistenz

Dr. Jürgen Christ

• christj@informatik.uni-freiburg.de
• SMT Solving, Craig Interpolation, Invariant Generation, Model Checking

Dr. Evren Ermis

• ermis@informatik.uni-freiburg.de
• software model checking, program analysis and verification, debugging, fault localization

Dr. Harald Fecher

• fecher@informatik.uni-freiburg.de
• Model checking, abstraction, real time, branching time, formal semantics, UML state machines, process algebras

Dr. Sergio Alejandro Feo-Arenis

• arenis@informatik.uni-freiburg.de
• Real-Time Systems. Embedded Systems Verification.

Dr. Marius Greitschus

• greitsch@informatik.uni-freiburg.de
• Static Analysis, Software Verification, Hybrid Systems Verification

Dr. Christian Herrera

• salazars@informatik.uni-freiburg.de
• Model Checking, Verification of TDMA Protocols, Real-Time Systems, Static Analysis.

Dr. Alexander Malkis

• malkis@imdea.org

Dr. Stefan Maus

• maus@informatik.uni-freiburg.de
• Assembler Verification, Tool Integration

Dr. Corina Mitrohin

• mitrohin@informatik.uni-freiburg.de
• Hybrid Systems Verification, Safety and Stability.

Dr. Tobias Morciniec

• morciniec@informatik.uni-freiburg.de
• Test planning, requirements analysis, software engineering

Dr. Marco Muñiz

• muniz@informatik.uni-freiburg.de
• Decision procedures, Model Checking

Dr. Alexander Nutz

• nutz@informatik.uni-freiburg.de
• Craig Interpolation, Model Checking
   

Dr. Amalinda Post

• Amalinda.Post@de.bosch.com
• Requirements Engineering, SW-Engineering, Process Improvement/CMMI, Testing, Formal Methods
   

Dr. Martin Schäf

• schaef@informatik.uni-freiburg.de
• Currently I am working on Doomed Program Points.

Dr. Christian Schilling

• schillic@informatik.uni-freiburg.de
• Hybrid Systems, Automata Theory

Dr. Mohammed Nassim Seghir

• seghir@informatik.uni-freiburg.de
• Software model checking, Program analysis.

Dr. Martin Wehrle

• mwehrle@informatik.uni-freiburg.de
• model checking, AI planning, heuristic search

Dr. Thomas Wies

• wies@informatik.uni-freiburg.de
• Program analysis and verification, shape analysis, automated abstraction, abstraction refinement, applications of automated reasoning.

Dr. Bernd Westphal

• westphal@informatik.uni-freiburg.de
• Infinite-state Dynamic Topology Systems, Wireless Sensor Networks, Real-Time Systems, Formal Methods and SMEs, Software Modelling, Visual Formalisms