Lab Course "Modeling and Automated Verification"
Prof. Christel Baier
SWS: (0/0/2) in English
Description
This lab course is intended for students in the Master's program “Computational Logic” and “Computational Modeling and Simulation” . It affords the opportunity to participate in theoretical as well as applied state-of-the-art research projects. Most problems addressed in this course are closely related to or a part of current research projects of our workgroup. See for example:
Within these projects, tasks in various areas arise, which include:
- Symbolic methods in model checking
- Explicit model-checking techniques
- Reduction techniques
- Automata over finite and infinite words
- Numerical solution methods
- Logics
- Specification formalisms
- Abstraction techniques
- Case studies
Registration
Enrolling via OPAL is required until October 16th 2023.
Prerequisites
- Solid foundations in algorithms and data structures, complexity theory, automata theory and formal languages
- Solid programming skills
- Basic mathematical foundations
Exam and Creditability
Master Computational Logic
- MCL-PS: Presentation Skills (research project (Projektarbeit) including around 10 pages documentation and a 30 Minute defense)
Master Computational Modeling and Simulation
- CMS-LM-MOC: Models of Computation (research project (Projektarbeit) including around 10 pages documentation and a 30 Minute defense)
- CMS-LM-ADV: Advanced Logical Modeling (research project (Projektarbeit) including around 10 pages documentation and a 30 Minute defense)
Contact
Dr. Sascha Klüppelholz
Eine verschlüsselte E-Mail über das SecureMail-Portal versenden (nur für TUD-externe Personen).