Anders Møller
Ph.D. Aarhus University 2002
Dissertation:
Program Verification with Monadic Second-Order Logic & Languages for Web Service Development
Advisor: Michael Ignatieff Schwartzbach
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Kirkegaard, Christian | Aarhus University | 2006 | |
| Jensen, Simon | Aarhus University | 2013 | |
| Schwarz, Mathias | Aarhus University | 2013 | |
| Feldthaus, Asger | Aarhus University | 2015 | |
| Jensen, Casper | Aarhus University | 2015 | |
| Madsen, Magnus | Aarhus University | 2015 | |
| Andreasen, Esben | Aarhus University | 2016 | |
| Strocco, Fabio | Aarhus University | 2016 | |
| Adamsen, Christoffer | Aarhus University | 2018 | |
| Kristensen, Erik | Aarhus University | 2019 | |
| Barslev Nielsen, Benjamin | Aarhus University | 2021 | |
| Torp, Martin | Aarhus University | 2021 | |
| Veileborg, Oskar | Aarhus University | 2023 |
According to our current on-line database, Anders Møller has 13 students and 13 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 124761 for the advisor ID.