Software and Computational Systems Lab
Department of Computer Science
Ludwig-Maximilians-Universität München (LMU Munich)
80538 Munich (Germany)
- Room F 010, Oettingenstr. 67
Please send me encrypted mails!
My GPG key: 0x15110123
Fingerprint: F384 AC41 2E4B F8B5 7873 D87B 6CDF 6321 1511 0123
Currently assigned topics
Verification of Timed Automata with BDDs 
Timed automata are model of computation that was invented 30 years ago with the goal of modelling not only the sequence of events but also the time of their occurrence. Timed automata are automata with a finite set of control states and clock variables whose values continuously increase over time. The objective of this thesis topic is to construct a basic reachability analysis for timed models.
If you're a student interested in writing your thesis at our chair, you should also have a look at our full list of currently available theses.