|
|
|
Verification of Complex Systems |
The Pendolino train from Prague to Ostrava had severe problems in its initial phase: from time
to time it stopped in the middle of nowhere due to a software bug. Similar bugs have been the
cause of more severe incidents, for example the crash of the Ariane 5 rocket in 1996. We are
doing research that will help to avoid such problems in the future, and offer a large range of
thesis topics in the area for students with a background in computer science, control, or
mathematics.
According to the interest and background of the student the thesis can be done in an application-oriented context (e.g., concrete application studies), in a more theoretical/mathematical direction, or in the direction of software-development.
I will be happy to provide more information. Just contact me!
Below are examples of possible thesis topics. Many more topics can be agreed upon in individual consultation.
|
|
|
|
Verification of Complex Systems |
