| Room: | A 406, Augustusplatz 10 |
| Phone: | +49-341-97/32212 |
| Research Group: | Algebraische und logische Grundlagen der Informatik |
| E-mail: | stier at informatik.uni-leipzig.de |
Kevin Stier
Universität Leipzig
Institut für Informatik
PF 100920
D-04009 Leipzig
Germany