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.



Course program for winter term 2015/16 online

The list of courses offered by MAIS in the winter term 2015/16 is now online. Have a look at the page about our teaching for more information.


New Ph.D. Candidate Yuri Gil Dantas

We welcome Yuri Gil Dantas as a new Ph.D. candidate in our group! Yuri started on August 1, 2015.


Guest: Peter Schwabe

Dr. Peter Schwabe from Radboud University Nijmegen will visit MAIS on July 8/9. He will give a talk on "Verifying ECC Software" on July 8 at 14:25 in room E302.

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