Stefan Göller

Dr. rer. nat.		 Mitarbeiterbild
Phone +49-(0)421 218 64433
Fax +49-(0)421 98 218 9864431
Room MZH 3100
E-Mail click here
Address University of Bremen
Fachbereich 03
Postfach 330440
28334 Bremen
pgp key pgp key

I am a research assistant at the university of Bremen in the group Theory of Artificial Intelligence of Carsten Lutz.

I did my PhD under the supervision of Markus Lohrey at the university of Leipzig. Before I was working in the group of Volker Diekert at the university of Stuttgart.


Currently my research interests include (no particular order):

  • Model checking of infinite state systems
  • Equivalence checking of infinite state systems (especially weak/strong bisimulation equivalence and trace equivalence)
  • Satisfiability checking of (extensions of) modal logics
  • Decompositional methods

    I have been/will be involved in the following events :

  • YR-CONCUR 2011 (satellite workshop of CONCUR 2011)
  • YR-CONCUR 2012 (satellite workshop of CONCUR 2012)
  • Algorithmics of Infinite State Systems 2012 (satellite workshop of LICS 2012)
  • Comparing Logical Decision Methods 2012 (satellite workshop of IJCAR 2012)

    Publications

    Teaching