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 offer the following courses:

Find out more about our teaching activities.



New Ph.D. researcher positions

The MAIS group offers two new Ph.D. positions. For details on each offered position, including topics and how to apply, please refer to the Open Positions page.


RS3 Reference Scenarios at S&P 2015

Posters about the three reference scenarios of the Priority Program „Reliably Secure Software Systems“ (RS3), coordinated by Prof. Heiko Mantel, have been accepted for presentation at the poster session of S&P 2015 (the IEEE Symposium on Security and Privacy).


New CSF publication

The paper "Hybrid Monitors for Concurrent Noninterference" by Aslan Askarov, Stephen Chong, and Heiko Mantel has been accepted for publication at CSF 2015 (the IEEE Computer Security Foundations Symposium).

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