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

Find out more about our teaching activities.



Guest: Marie Christin Platenius

Today, Marie Christin Platenius from the Software engineering group of Prof. Dr. Wilhelm Schäfer at the University of Paderborn visits the MAIS group. She will give a talk titled "Service Matching and Service Specification" at today's graduate seminar (14:00 - 15:30).


Guests Dr. Kurt Stenzel and Kuzman Katkalov

Dr. Kurt Stenzel and Kuzman Katkalov from Augsburg University visit the MAIS group from December 11 to December 12. They give a talk in the MAIS Graduate Seminar on December 12, 11:00 - 12:00.


Guest: Willard Rafnsson

Willard Rafnsson from Chalmers University of Technology in Sweden visits the MAIS group from December 11 to December 13. He gives a talk in the MAIS Graduate Seminar on December 11, 15:30 - 17:00.

MAIS logo

Open Positions

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

We currently have an open position for a HiWis for the coordination of the RS3 priority program. Find out more.

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