Anders Møller
Original record- Institution
- Aarhus University
- Year
- 2002
- Country
- Denmark
- MGP identifier
- 124761
Dissertation: Program Verification with Monadic Second-Order Logic & Languages for Web Service Development
Advisor 1
- Michael Ignatieff SchwartzbachCornell University · 1987
Students 14
| Name | Institution | Year | Students |
|---|---|---|---|
| Christoffer Quist Adamsen | Aarhus University | 2018 | 0 |
| Esben Andreasen | Aarhus University | 2016 | 0 |
| Benjamin Barslev Nielsen | Aarhus University | 2021 | 0 |
| Asger Feldthaus | Aarhus University | 2015 | 0 |
| Casper Svenning Jensen | Aarhus University | 2015 | 0 |
| Simon Holm Jensen | Aarhus University | 2013 | 0 |
| Christian Kirkegaard | Aarhus University | 2006 | 0 |
| Erik Krogh Kristensen | Aarhus University | 2019 | 0 |
| Magnus Madsen | Aarhus University | 2015 | 0 |
| Georgian-Vlad Saioc | Aarhus University | 2025 | 0 |
| Mathias Romme Schwarz | Aarhus University | 2013 | 0 |
| Fabio Strocco | Aarhus University | 2016 | 0 |
| Martin Toldam Torp | Aarhus University | 2021 | 0 |
| Oskar Haarklou Veileborg | Aarhus University | 2023 | 0 |