Modeling and Analysis of Information Systems
Research:
The aim of our research is the development of secure and trustworthy software systems. Due to software system complexity developing of such systems is difficult and error-prone, hence we use formal methods to reason about security. We investigate both the security of software code (source and machine code) and security aspects of software specifications, allowing us to reason about software in different stages of its development process. More details can be found in the Research and Projects sections.
Parts of our research are funded by the Deutsche Forschungsgemeinschaft (DFG) and the European Union (EU).
Teaching:
In the winter term 2008/2009 we offer the following courses:
- Canonical Lecture with Exercises: Foundations of Computing
- Seminar: Analyse von Sicherheitsprotokollen (Analysis of Security Protocols)
- Seminar: Formale Spezifikation (Formal Specification)
- Lab: Modellierungspraktikum (Modeling Lab)
- Graduate Seminar: Formale Methoden (Oberseminar)
Find out more about our teaching activities.
Studying abroad: Information concerning the form "Anerkennung für eine im Ausland abgelegte Prüfung oder Studienleistung - Formblatt 1"
Jobs:
There are open positions for research HiWis. If you want to get hands-on experience before the end of your studies, this is the chance! Find out more...