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 the winter term 2015/16 we offer the following courses:

Find out more about our teaching activities.



RS3 Annual Meeting 2015

On October 5 and 6, the 5th Annual Meeting of the DFG priority program „Reliably Secure Software Systems“ (RS3), coordinated by Prof. Heiko Mantel, will take place at the University of Bremen. Researchers from nine German universities and research institutes will meet to present their progress in the development of provably correct techniques for establishing precisely defined security guarantees for complex software systems. Additionally, Frank Piessens and Catuscia Palamidessi will give keynote talks about secure compilation and quantitative information flow, respectively. The Annual Meeting will be followed by the 10th Staff Meeting of RS3 on October 7 and 8, during which the researchers will continue working towards their common goals.


Guest: Prof. Boris Köpf

Prof. Boris Köpf from the IMDEA Software Institute Madrid will visit MAIS on October 1, 2015.


New ICISS publication

The paper "An Automatic Inference of Minimal Security Types" by Dominik Bollmann, Steffen Lortz, Heiko Mantel, and Artem Starostin has been accepted for publication at ICISS 2015 (the International Conference on Information Systems Security).

MAIS logo

Open Positions

We currently have open positions for prospective Ph.D. students and PostDocs. Find out more.

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