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 listed in chronological order.
| Name | School | Year | Descendants |
|---|---|---|---|
| Albert, Luc | Université Paris-Sud XI - Orsay | 1990 | |
| Cavalcanti, Marcos | Université Paris-Sud XI - Orsay | 1993 | |
| Chiang, Katherine | National Taiwan University and l'Institut National de Recherche en Informatique et en Automatique (INRIA) | 2015 | |
| Codognet, Philippe | Université Bordeaux 1 | 1989 | 4 |
| Coquery, Emmanuel | Université Pierre-et-Marie-Curie - Paris VI | 2004 | |
| Craciunescu, Sorin | École Polytechnique | 2004 | |
| Fowler, Julian | Université Paris-Sud XI - Orsay | 1995 | |
| Gaudin, Etienne | Université Paris Diderot - Paris 7 | 1997 | |
| Haemmerlé, Rémy | Université Pierre-et-Marie-Curie - Paris VI | 2008 | |
| Jourdan, Jean | Université Paris Diderot - Paris 7 | 1995 | |
| Paltrinieri, Massimo | Université Paris Diderot - Paris 7 | 1998 | |
| Perron, Laurent | Université Paris-Sud XI - Orsay | 1997 | |
| Ruet, Paul | Université Paris Diderot - Paris 7 | 1997 | |
| Savéant, Pierre | Université Pierre-et-Marie-Curie - Paris VI | 1990 | |
| Schächter, Vincent | Université Paris Diderot - Paris 7 | 1999 | |
| Sola, Thierry | Université Paris-Sud XI - Orsay | 1995 | |
| Soliman, Sylvain | Université Paris Diderot - Paris 7 | 2001 |
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.