Andreas Herzig

MathSciNet


Ph.D. Université Paul Sabatier - Toulouse III 1989 France
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 listed in chronological order.

NameSchoolYearDescendants
Adam, CaroleInstitut National Polytechnique de Toulouse2007
Aucher, GuillaumeUniversity of Otago and Université de Toulouse20081
Bienvenu, MeghynUniversité de Toulouse2009
Castilho, Marcos A.Université Paul Sabatier - Toulouse III1998
de Lima, TiagoUniversité de Toulouse2007
Gasquet, OlivierUniversité Paul Sabatier - Toulouse III19943
Gaudou, BenoitUniversité de Toulouse2008
Guiraud, NadineInformatique et Télécommunications de Toulouse2013
Kramdi, SeifeddineUniversité de Toulouse2015
Longin, DominiqueUniversité Paul Sabatier - Toulouse III19993
Maffre, FaustineUniversité Paul Sabatier - Toulouse III2016
Moisan, FrédéricUniversité de Toulouse2013
Polacsek, ThomasUniversité Paul Sabatier - Toulouse III2004
Rifi, OmarUniversité Paul Sabatier - Toulouse III2000
Sahade, MohamadUniversité Paul Sabatier - Toulouse III2006
Said, BilalUniversité de Toulouse2010
Schwarezentruber, FrançoisUniversité Paul Sabatier - Toulouse III2010
Su, EzgiInformatique et Télécommunications de Toulouse2015
Troquard, NicolasUniversità di Trento and Université Paul Sabatier - Toulouse III2007
Varzinczak, Ivan JoséUniversité Paul Sabatier - Toulouse III2006

According to our current on-line database, Andreas Herzig has 20 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 129772 for the advisor ID.