Stefan Göller
Scientific Assistant
Mitarbeiterbild
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