Dirk Beyer
Dr. rer. nat. Brandenburgische Technische Universität Cottbus 2002
Dissertation:
Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata
Mathematics Subject Classification: 68—Computer science
Advisor 1: Claus Lewerentz
Students:
Click
here to see the students listed in chronological order.
| Name | School | Year | Descendants |
|---|---|---|---|
| Bauer, Sabine | Ludwig-Maximilians-Universität München | 2019 | |
| Dangl, Matthias | Ludwig-Maximilians-Universität München | 2022 | |
| Friedberger, Karlheinz | Ludwig-Maximilians-Universität München | 2021 | |
| Keremoglu, M. Erkan | Simon Fraser University | 2011 | |
| Lemberger, Thomas | Ludwig-Maximilians-Universität München | 2022 | |
| Löwe, Stefan | Universität Passau | 2017 | |
| Wendler, Philipp | Universität Passau | 2017 |
According to our current on-line database, Dirk Beyer has 7 students and 7 descendants.
We welcome any additional information.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 146567 for the advisor ID.