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.
