Research in applied science leads to reforms, research in pure science leads to revolutions (Sir J.J. Thomson)

Former PhD Students


Visitors


  • Évelyne Contejean. LRI, Université Paris-Sud, CNRS, and INRIA Saclay Ile-de-France.
  • Pierre Courtieu. Centre d'Etude et De Recherche en Informatique et Communications, Conservatoire Nationale des Arts et Métiers, Paris.
  • Nachum Dershowitz. School of Computer Science,Tel Aviv University .
  • Julien Forest. LRI, Université Paris-Sud.
  • Carsten Fuhs. Department of Computer Science, University College London.
  • Jürgen Giesl. Lehr- und Forschungsgebiet Informatik 2, RWTH Aachen.
  • Bernhard Gramlich. Theory and Logic Group, Technical University of Vienna.
  • Michael Hanus. Institut für Informatik, Christian Albrechts Universität zu Kiel.
  • José Meseguer. Formal Methods and Declarative Languages Laboratory, University of Illinois at Urbana-Champaign (UIUC).
  • Peter Schneider-Kamp. Department of Computer Science, University of Southern Denmark.
  • Xavier Urbain. École Nationale Supérieure d'Informatique pour l'Industrie et l'Enterprise (ENSIIE), France.