Stefan Göller

Dr. rer. nat.		 Mitarbeiterbild
Phone +49-(0)421 218 64433
Fax +49-(0)421 98 218 9864431
Room Room 2.56, Cartesium, Enrique-Schmidt-Str. 5
E-Mail click here
Address University of Bremen
Fachbereich 03
Postfach 330440
28334 Bremen
pgp key pgp key

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

From March until September 2012 I have been working as a postdoctoral researcher with Thomas Colcombet at LIAFA in Paris.

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
  • Regular cost functions

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

  • Fundamentals of Computation Theory (FCT 2013), PC member
  • YR-CONCUR 2012 (satellite workshop of CONCUR 2012), PC member
  • Algorithmics of Infinite State Systems 2012 (satellite workshop of LICS 2012), PC co-chair
  • Comparing Logical Decision Methods 2012 (satellite workshop of IJCAR 2012), PC member
  • YR-CONCUR 2011 (satellite workshop of CONCUR 2011), PC member

    Publications

    Teaching