Advanced Project Modellierung und quantitative Systemanalyse II
Prof. Dr. Christel Baier
SWS: (0/0/8), in English or German
Description
The course is intended for students enrolled in the Master's or Diplom program Computer Science, as well es for those enrolled in the Diplom program Information Systems Engineering. The Advanced Project Modelling and quantitative system analysis allows students to analyse and work on practical projects relevant in current research. Some topics are taken from current projects of the group. The following links give more information on these projects:
Potential topics include:
- Symbolic methods in model checking
- Explicit model checking
- Reduction techniques
- Automata over finite and infinite words
- Numerical methods for quantitative analysis
- Logics
- Specification formalisms
- Abstraction techniques
- Case studies
Registration
Enrolling via OPAL is required until April 14th, 2024.
Prerequisites
In addition to an interest in theoretical computer science, the project requires solid knowledge of model checking and programming. Experience in C/C++ or Java is helpful, but not required.
Schedule
All enrolled participants will be notified about the initial meeting by e-mail. The specific dates will be announced later.
Exam and Creditability
Master Informatik
- INF-MA-PR: Forschung und Entwicklung in der Informatik (exam according to module description)
Kontakt
Dr. Sascha Klüppelholz
Send encrypted email via the SecureMail portal (for TUD external users only).