Francois Fages
Ph. D. Université Paris Diderot - Paris 7 1983
Dissertation:
Formes canoniques dans les algèbres booléennes et applications à la démonstration
automatique en logique de premier ordre.
Advisor 1: Gérard Pierre Huet
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Codognet, Philippe | Université Bordeaux 1 | 1989 | 4 |
| Albert, Luc | Université Paris-Sud XI - Orsay | 1990 | |
| Savéant, Pierre | Université Pierre-et-Marie-Curie - Paris VI | 1990 | |
| Cavalcanti, Marcos | Université Paris-Sud XI - Orsay | 1993 | |
| Fowler, Julian | Université Paris-Sud XI - Orsay | 1995 | |
| Jourdan, Jean | Université Paris Diderot - Paris 7 | 1995 | |
| Sola, Thierry | Université Paris-Sud XI - Orsay | 1995 | |
| Gaudin, Etienne | Université Paris Diderot - Paris 7 | 1997 | |
| Perron, Laurent | Université Paris-Sud XI - Orsay | 1997 | |
| Ruet, Paul | Université Paris Diderot - Paris 7 | 1997 | |
| Paltrinieri, Massimo | Université Paris Diderot - Paris 7 | 1998 | |
| Schächter, Vincent | Université Paris Diderot - Paris 7 | 1999 | |
| Soliman, Sylvain | Université Paris Diderot - Paris 7 | 2001 | |
| Coquery, Emmanuel | Université Pierre-et-Marie-Curie - Paris VI | 2004 | |
| Craciunescu, Sorin | École Polytechnique | 2004 | |
| Haemmerlé, Rémy | Université Pierre-et-Marie-Curie - Paris VI | 2008 | |
| Chiang, Katherine | National Taiwan University and l'Institut National de Recherche en Informatique et en Automatique (INRIA) | 2015 |
According to our current on-line database, Francois Fages has 17 students and 21 descendants.
We welcome any additional information.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 137163 for the advisor ID.