Andreas Herzig
Ph.D. Université Paul Sabatier - Toulouse III 1989
Dissertation:
Automated theorem proving in modal logic and unification algorithms (Demonstration automatique en logique modale et algorithmes d'unification)
Mathematics Subject Classification: 68—Computer science
Advisor 1: Luis Fariñas del Cerro
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Gasquet, Olivier | Université Paul Sabatier - Toulouse III | 1994 | 4 |
| Castilho, Marcos A. | Université Paul Sabatier - Toulouse III | 1998 | |
| Longin, Dominique | Université Paul Sabatier - Toulouse III | 1999 | 4 |
| Rifi, Omar | Université Paul Sabatier - Toulouse III | 2000 | |
| Polacsek, Thomas | Université Paul Sabatier - Toulouse III | 2004 | |
| Sahade, Mohamad | Université Paul Sabatier - Toulouse III | 2006 | |
| Varzinczak, Ivan José | Université Paul Sabatier - Toulouse III | 2006 | |
| Adam, Carole | Institut National Polytechnique de Toulouse | 2007 | |
| de Lima, Tiago | Université de Toulouse | 2007 | 1 |
| Troquard, Nicolas | Università degli Studi di Trento and Université Paul Sabatier - Toulouse III | 2007 | |
| Aucher, Guillaume | University of Otago and Université de Toulouse | 2008 | 1 |
| Gaudou, Benoit | Université de Toulouse | 2008 | |
| Bienvenu, Meghyn | Université de Toulouse | 2009 | |
| Said, Bilal | Université de Toulouse | 2010 | |
| Schwarzentruber, François | Université Paul Sabatier - Toulouse III | 2010 | |
| Guiraud, Nadine | Informatique et Télécommunications de Toulouse | 2013 | |
| Moisan, Frédéric | Université de Toulouse | 2013 | |
| Kramdi, Seifeddine | Université de Toulouse | 2015 | |
| Su, Ezgi | Informatique et Télécommunications de Toulouse | 2015 | |
| Maffre, Faustine | Université Paul Sabatier - Toulouse III | 2016 | |
| Xiao, Zhanhao | Université de Toulouse and University of Western Sydney | 2017 | |
| Rantsoudis, Christos | Université de Toulouse | 2018 | |
| Vianey, Julien | Université Paul Sabatier - Toulouse III | 2020 | |
| Perrotin, Elise | Université Paul Sabatier - Toulouse III | 2021 |
According to our current on-line database, Andreas Herzig has 24 students and 27 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 129772 for the advisor ID.