Document Actions
Team
Head of Group
Prof. Dr. Andreas Podelski
- http://swt.informatik.uni-freiburg.de/staff/podelski
- program verification and analysis; requirements engineering; security.
Administrative Assistant
Berit Brauer
- http://swt.informatik.uni-freiburg.de/staff/brauer
- Administrationsassistenz
Marlis Jost
- http://swt.informatik.uni-freiburg.de/staff/mjost
- Administrationsassistenz
System Administrator
Martin Preen
- http://swt.informatik.uni-freiburg.de/~preen
- System- & Netzwerkadministration für Lehrstuhl, Institut, Fakultät
Researchers & Students
Stephan Arlt
- http://swt.informatik.uni-freiburg.de/staff/arlt
- Business Information Systems, Knowledge Management, Software Testing & Verification
Justus Bisser
- http://swt.informatik.uni-freiburg.de/staff/bisser
- Tutor for Software Labs, Practical Developement, Code by Contract
Sergiy Bogomolov
- http://swt.informatik.uni-freiburg.de/staff/bogom
- Verification, Game Theory, Requirements' Analysis
Jürgen Christ
- http://swt.informatik.uni-freiburg.de/staff/christj
- Verification, SMT, Interpolation, Decision Procedures
Daniel Dietsch
- http://swt.informatik.uni-freiburg.de/staff/dietsch
- Program Analysis Infrastructure, Testing, Specification & Requirement Analysis, Salomo
Evren Ermis
- http://swt.informatik.uni-freiburg.de/staff/ermis
- Program Verification, Termination, Software Model Checking
Dr. Harald Fecher
- http://swt.informatik.uni-freiburg.de/staff/fecher
- Model checking, abstraction, real time, branching time, formal semantics, UML state machines, process algebras
Sergio Alejandro Feo Arenis
- http://swt.informatik.uni-freiburg.de/staff/arenis
- Java/JML Transition Constraints, Decision Procedures Tutorial, SALOMO
Matthias Heizmann
- http://swt.informatik.uni-freiburg.de/staff/heizmann
- Software Verification, Real-Time Systems
Dr. Jochen Hoenicke
- http://swt.informatik.uni-freiburg.de/staff/hoenicke
- program verification, invariant generation for sequential and concurrent programs, interpolation in SMT.
Alexander Malkis
- http://swt.informatik.uni-freiburg.de/staff/alexmalk/
- Program analysis, verification, concurrency, model-checking, abstract interpretation, assume-guarantee reasoning, modularity, compositionality, simulation, refinement, privacy, security, combinatorics, enumeration, polyforms.
Stefan Maus
- http://swt.informatik.uni-freiburg.de/staff/maus
- Assembler Verification, Tool Integration
Martin Mehlmann
- http://swt.informatik.uni-freiburg.de/~mehlmann
- software engineering, program verification & analysis, local reasoning, automated reasoning
Corina Mitrohin
- http://swt.informatik.uni-freiburg.de/staff/mitrohin
- Hybrid Systems Verification, Stability Properties
Marco Muñiz
- http://swt.informatik.uni-freiburg.de/staff/muniz
- Program Analysis and Verification, Automated Reasoning, Decision Procedures.
Amalinda Oertel
- http://swt.informatik.uni-freiburg.de/staff/oertel
- Requirements Engineering, SW-Engineering, Process Improvement/CMMI, Testing, Formal Methods
Martin Schäf
- http://swt.informatik.uni-freiburg.de/staff/schaef
- Currently I am working on sound error detection methods.
Mohammed Nassim Seghir
- http://swt.informatik.uni-freiburg.de/staff/seghir
- Software model checking, Program analysis
Martin Wehrle
- http://swt.informatik.uni-freiburg.de/staff/mwehrle/
- Model Checking, AI Planning, Heuristic Search
Dr. Bernd Westphal
- http://swt.informatik.uni-freiburg.de/staff/westphal
- Specification and verification of dynamic topology systems; Live Sequence Charts; Observer-based verification; Visual formalisms
Thomas Wies
- http://ist.ac.at/~wies
- Program analysis and verification, shape analysis, automated abstraction, abstraction refinement, applications of automated reasoning.
External Researchers
Bruno Berstel
- http://swt.informatik.uni-freiburg.de/staff/berstel
- Analysis and verification of rule-based programs; use of constraints in this context.