Group lead
![]() |
Office: Staudingerweg 9, room 03-435
E-Mail: erdweg@uni-mainz.de
Phone: +49 6131 39-37257
Fax: +49 6131 39-23534
|
PhD students
![]() |
Office: Staudingerweg 9, room TBD E-mail: brandl@uni-mainz.de
Topics: type systems, static analysis, formal methods
|
![]() |
Office: Staudingerweg 9, room 03-126 E-mail: keidel@uni-mainz.de
Topics: static analysis, formal methods
|
![]() |
Office: Staudingerweg 9, room 03-126 E-Mail: pacak@uni-mainz.de
Topics: domain-specific languages, type checking
|
![]() |
Office: off campus E-Mail: tamas.szabo@uni-mainz.de
Topics: incremental computing, static analysis, domain-specific languages
|
Previous external PhD students:
-
- Gabriël Konat (PhD 2019, TU Delft, co-supervised with Eelco Visser)
- Oliver Bračevac (PhD 2019, TU Darmstadt, co-supervised with Mira Mezini)
- Sylvia Grewe (PhD 2019, TU Darmstadt, co-supervised with Mira Mezini)
- Luís Eduardo Souza Amorim (PhD 2019, TU Delft, co-supervised with Eelco Visser)
- Edlira Kuci (PhD 2019, TU Darmstadt, co-supervised with Mira Mezini)
- Florian Lorenzen (PhD 2015, TU Berlin)