Group Lead
Office: Staudingerweg 9, room 03-233
E-Mail: erdweg@uni-mainz.de
Phone: +49 6131 39-37257
Fax: +49 6131 39-23534
|
Team Members
Katharina Brandl, M.Sc.
Office: Staudingerweg 9, 03-231 E-mail: brandl@uni-mainz.de
Topics: type systems, static analysis, WebAssembly
|
|
David Klopp, M.Sc.
Office: Staudingerweg 9, 03-221 E-Mail: davklopp@uni-mainz.de
Topics: Datalog, compilers
|
|
Office: Staudingerweg 9, 03-221 E-Mail: pkumar@uni-mainz.de
Topics: functional programming
|
|
Armand Lego, M.Sc.
Office: Staudingerweg 9, 03-332 E-Mail: alego@uni-mainz.de
Topics: abstract interpretation, incremental computing
|
|
Stefan Marx, M.Sc.
Office: Staudingerweg 9, 03-325 E-Mail: stmarx@uni-mainz.de
Topics: abstract interpretation, incremental computing
|
|
André Pacak, M.Sc.
Office: Staudingerweg 9, 03-231 E-Mail: pacak@uni-mainz.de
Topics: incremental computing, Datalog, type checking
|
|
Runqing Xu, M.Sc.
Office: Staudingerweg 9, 03-231 E-mail: runxu@uni-mainz.de
Topics: theorem proving, Datalog, incremental computing
|
Alumni
Sebastian Mies, M.Sc.
PhD student 2022
Left to pursue a PhD in a different area
|
|
PhD student 2015–2021
Topics: static analysis, formal methods
Now post-doc at TU Darmstadt
|
|
PhD student 2015–2021
Topics: incremental computing, static analysis, domain-specific languages
Now research engineer at Github Next
|
Group Pictures
Previous 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)