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

Former PhD Students

  • Beatriz Alarcón. PhD May 2011, Universitat Politècnica de València.
  • Raúl Gutiérrez. PhD October 2010, Universitat Politècnica de València.
  • Santiago Escobar. PhD October 2003, Universitat Politècnica de València.
  • Sonia Flores. Universidad de San Luis (Argentina).
  • Raquel Montagut. Universitat Politècnica de València.
  • Rafael Navarro-Marset. Universitat Politècnica de València.


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. École Nationale Supérieure d'Informatique pour l'Industrie et l'Enterprise (ENSIIE), France.
  • Carsten Fuhs. Department of Computer Science and Information Systems, Birbeck, University of 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.
  • Thomas Sternagel. Computational Logic Research Group, University of Innsbruck, Austria.
  • Xavier Urbain. Université Claude Bernard Lyon 1, France.