Stefan Göller
Scientific Assistant |
 |
| Phone |
+49-(0)341 97 32294 |
| Fax |
+49-(0)341 97 32209 |
| Room |
Jo 4-45 |
| E-Mail |
click here
|
| Adress |
Universität Leipzig
Fakultät für Mathematik und Informatik
Institut für Informatik
Abteilung Algebraische und logische Grundlagen der Informatik
Johannisgasse 26
04103 Leipzig
|
I am a third year
PhD student at the university of Leipzig.
My advisor is Markus Lohrey.
Until August 2007 I worked at the
Department of Theoretical Computer Science
in Stuttgart.
I am interested in the computational complexity of
satisfiability/model-checking
of
Propositional Dynamic Logic extensions.
Teaching
Publications