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 ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Keremoglu, M. Erkan | Simon Fraser University | 2011 | |
| Löwe, Stefan | Universität Passau | 2017 | |
| Wendler, Philipp | Universität Passau | 2017 | |
| Bauer, Sabine | Ludwig-Maximilians-Universität München | 2019 | |
| Friedberger, Karlheinz | Ludwig-Maximilians-Universität München | 2021 | |
| Dangl, Matthias | Ludwig-Maximilians-Universität München | 2022 | |
| Lemberger, Thomas | Ludwig-Maximilians-Universität München | 2022 |
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.