Modeling and Analysis of Information Systems


The aim of our research is to make software-based systems more trustworthy (i.e. correct, safe, and secure) than they are today. As software engineering is a complex and error-prone task, we employ formal methods for reasoning about information systems and critical system properties. We investigate software systems on the level of code (source code and machine code) as well as on the level of more abstract system specifications. This allows us to provide support for different stages of software development. More details can be found in the Research and Projects sections.

Parts of our research are funded by the Deutsche Forschungsgemeinschaft (DFG), by the European Union (EU), and, within the "Landes-Offensive zur Entwicklung Wissenschaftlich-ökonomischer Exzellenz (LOEWE)", by the Land Hessen.


In summer term 2015 we will offer the following courses:

In winter term 2014/15 we offer the following courses:

Find out more about our teaching activities.



New Ph.D. Students Alexandra Weber and Xucheng Yin

We welcome Alexandra Weber and Xucheng Yin as new Ph.D. students in our group! Alexandra started on 1.11.2014. Xucheng started on 1.12.2014.


Best Paper Award

The paper "Noninterference under Weak Memory Models" by Heiko Mantel, Matthias Perner, and Jens Sauer has received the RS3 Best Paper Award 2013/2014. The paper has been published in the Proceedings of the IEEE Computer Security Foundations Symposium (CSF).


New Ph.D. Student David Schneider

We welcome David Schneider as a new Ph.D. student in our group! David started on 1.10.2014.

MAIS logo

Open Positions

We currently have open Ph.D. positions in our group. Find out more.

A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang