Education

  1984 Doctorat d'Etat (Habilitation Thesis), University Lyon 1, entitled "Logique des structures finies et complexité algorithmique", supervisor: Jacques Stern, referees: Haim Gaifman and Serge Grigorieff
  1976 Doctorat de 3ème cycle in Math. Logic, University Paris 6 (supervisor: Roland Fraïssé)
  1975 DEA (Master of Sciences) in Math. Logic, University Paris 7

Employment

1990 to date
Professor of Computer Science, University of Caen
1985-1990
Associate Professor of Computer Science, University of Caen
1982-1985
Assistant Professor of Mathematics, University Lyon 1
1976-1982
Various teachings at Universities Paris 6, Paris 11 and Amiens


Main administrative responsabilities



Supervision of doctoral dissertations

    • Ongoing thesis: Johann Brault-Baron (since October 2009)
                 Algorithms and complexity of enumeration problems in propositional logic and first-order logic.
                 Algorithmes et complexité des problèmes d'énumération en logique propositionnelle et en logique du premier ordre.

    • 2009: Guillaume Bagan
                Algorithms and complexity of enumeration problems for the evaluation of logical queries.
                Algorithmes et complexité des problèmes d'énumération pour l'évaluation de requêtes logiques.
                Current position: Postdoctoral researcher at INRIA Lille Nord-Europe (Mostrare project)

    • 2003: Régis Barbanchon
                Tight reductions between NP-complete problems: linearity, planarity, parsimony and logical minimality.
                Réductions fines entre problèmes NP-complets: linéarité, planarité, parcimonie et minimalité logique.
                Current position: Associate Professor of Computer Science, LIF, University Aix-Marseille 2 (Université de la Méditerranée)

    • 2003: Florent Madelaine (main supervisor : Iain Stewart)
                Constraint satisfaction problems and related logic.
                Problèmes de satisfaction de contraintes: une étude logique et combinatoire.
                Current position: Associate Professor of Computer Science, LIMOS, University Clermont 1 (Université d'Auvergne)

    • 2001: Philippe Chapdelaine (other supervisor : Nadia Creignou)

    • 1998: Jean-Marie Le Bars
                Asymptotic probabilities and expressive power of fragments of second-order logic.
                Probabilités asymptotiques et pouvoir d'expression des fragments de la logique du second ordre.
                Current position: Associate Professor of Computer Science, GREYC, University of Caen

    • 1997: Frédéric Olive
                Current position: Associate Professor of Computer Science, LIF, University Aix-Marseille 1 (Université de Provence)

    • 1997: Arnaud Durand
                Current position: Full Professor of Mathematics, ELM (Equipe de Logique Mathématique), University Paris 7

    • 1994: Nadia Creignou
                Current position: Full Professor of Computer Science, LIF, University Aix-Marseille 2 (Université de la Méditerranée)

    • 1991: Solomampionona Ranaivoson
                Current position: Associate Professor of Computer Science, GREYC, University of Caen