Stefan
Göller
Chargé de recherche, CNRS
include.html
As of September 2018 I will be working at the
University of Kassel.
You will be redirected automatically.
-->
À propos du
LSV
Actualités
Membres
Recherche
Séminaires
Enseignement
Contact
Pages privées
English
Français
Contact
Adresse
LSV
,
CNRS
&
ENS
Paris-Saclay
61, avenue du Président
Wilson
94235 CACHAN Cedex, France
Bureau
RH-B-114
Tél.
+33 (0)1 47 40 74 07
Fax
+33 (0)1 47 40 75 21
Secr.
+33 (0)1 47 40 75 20
E-Mail
goeller@lsv.fr
Projects
LIFOUNDATIONS: Verification Of Stack-Based Infinite-State Systems (2018-2022)
VERICONISS: Verification of Concurrent Infinite State Systems (2014-2017)
Past post-docs:
Georg Zetzsche
Christoph Haase
Piotrek Hofman
Co-authors
Michael Benedikt
Michael Blondin
Stanislav Böhm
Christopher Broadbent
Romain Brenguier
Arnaud Carayol
Thomas Colcombet
Alain Finkel
Christoph Haase
Simon Halfon
Piotr Hofman
Petr Jancar
Jean Christoph Jung
Stefan Kiefer
Ranko Lazic
Anthony Widjaja Lin
Markus Lohrey
Carsten Lutz
Richard Mayr
Arne Meier
Pierre McKenzie
Martin Mundhenk
Andrzej Murawski
Dirk Nowotka
Joël Ouaknine
Ocan Sankur
Thomas Schneider
Michael Thomas
Patrick Totzke
Felix Weiss
James Worrell