AI Department
LILaC
Andreas Herzig: students
Current PhD students
- Carlos
Aguilera Ventura
also supervised by Jonathan Ben-naim
scholarship: French Ministery of Education
2022-
Former students
PhD
- Elise
Perrotin
"Lightweight approaches to reasoning about knowledge and belief"
also supervised by Emiliano Lorini
scholarship: French Ministery of Education
2018-2021, Ph.D. Oct. 11, 2021
- Julien
Vianey
"Reasoning about concurrent actions and its applications to epistemic and temporal planning"
also supervised by Frédéric Maris
scholarship: French Ministery of Education
2017-2020, Ph.D. Dec. 15, 2020; postdoc at Univ. Toulouse I (2020-2022)
- Christos
Rantsoudis
"Knowledge Bases and Preferred Update Actions:
Searching for Consistency through Dynamic Logic Programs"
also supervised by Olivier Gasquet and Guillaume Feuillade
scholarship: French Ministery of Education
2015-2018, Ph.D. Dec. 10, 2018; postdoc at Simon-Fraser University, Vancouver, Canada (2019-2021); now high school teacher in Greece
- Zhanhao
Xiao
"Refinement of intentions"
also supervised by Laurent Perrussel, Dongmo Zhang and Emiliano Lorini
scholarship: CSC
2014-2017, Ph.D. December 12, 2017; postdoc at Univ. Toulouse I (2017-2018) and at Sun Yat-sen University, Guangzhou, PR China (2018-)
- Faustine
Maffre
"Ignorance is bliss: observability-based dynamic epistemic logics and their applications"
also supervised by Emiliano Lorini
scholarship: French Ministery of Education
2012-2016 (MSc thesis 2013), Ph.D. September 23, 2016; ; postdoc at Univ. Toulouse I (2016-2017)
- Seif-eddine
Kramdi
"A modal approach to model computational trust"
also supervised by Guillaume Feuillade
scholarship: ANR VERSO program, project PIMI
2011-2015, Ph.D. October 5, 2015
- Ezgi Iraz
Su
"Extensions of Equilibrium Logic by Modal Concepts"
also supervised by Luis Fariñas del Cerro and David Pearce
scholarship: French Ministery of Education
2011-2015, Ph.D. March 20, 2015; postdoc at Univ. Lisbon (2016-2018)
- Nadine
Guiraud
"Une modélisation en logique de l'intention communicative et des actes de langage expressifs"
also supervised by Dominique Longin and Emiliano Lorini
scholarship: ANR CONTINT program, project CECIL
2008-2013, MSc thesis 2009, Ph.D. Sept. 27, 2013; now at Alyotech, Toulouse
- Frédéric
Moisan
"The bonds of society: an interdisciplinary study of social rationality"
scholarship: French Ministery of Education
cotutorship with Astrid Hopfensitz; mainly supervised by Emiliano Lorini
2009-2013, Ph.D. Sept. 2, 2013;
postdoc at
Dynamic decision making lab, Department of Social and Decision Sciences, Carnegie Mellon University (2013-2015);
postdoc at
Faculty of Economics of the University of Cambridge (2015-2020);
assistant professor at EM Lyon Business School (2020-)
- François Schwarzentruber
" Seeing, Knowing, doing : case studies in modal logic"
(supervisor:
Olivier Gasquet; also supervised by Philippe Balbiani and Emiliano Lorini)
scholarship: French Ministery of Education
2006-2010, MSc thesis 2007, Ph.D. Dec. 1, 2010
since 2010 associate professor (Maitre de Conferences) at Ecole Normale Superieure de Cachan and IRISA, Rennes; habilitation in 2019
- Bilal Said
"Graph rewriting for model construction in modal logic"
(supervisor:
Olivier Gasquet)
scholarship: Lebanese
2005-2010, MSc thesis 2005, Ph.D. Jan. 29, 2010
then with Genigraph (2010-2012);
University of Lebanon (2011-);
now Researcher & Project Manager at Softeam Docaposte, Nantes
- Meghyn Bienvenu
"Consequence Finding in Modal Logic"
(cosupervision with Jérôme Lang
and Jérôme Mengin
of the RPDMP group)
scholarship: French Ministery of Education
2005-2009, MSc thesis 2006, Ph.D. May 7, 2009;
prix de thèse AFIA in 2010
postdoc at University of Bremen (jan.2009-sep.2010),
since 2010 CNRS researcher (2010-2015 at LRI, Paris; 2015-2018 at LIRMM Montpellier; since 2018 at LaBRI Bordeaux); habilitation in 2019; directeur de recherche since 2021
- Guillaume Aucher
"Perspectives on belief and change"
cotutorship with
Hans van Ditmarsch of University of Otago, NZ
scholarship: NZ Ministery of Education
2004-2008, Ph.D. July 9, 2008
postdoc at University of Luxembourg (2008-2010),
2010-2015 INRIA research fellow (chaire INRIA) at Rennes
since 2015 associate professor (Maitre de Conferences) at Univ. Rennes
- Benoit Gaudou
"Formalizing social attitudes in modal logic"
also supervised by Dominique Longin and Emiliano Lorini
scholarship: French Ministery of Education
2004-2008, Ph.D. July 10, 2008
postdoc at IFI, Hanoi (2008-2010),
since 2010 Maitre de conferences at Universite Toulouse I and IRIT (SMAC group); habilitation in 2016
- Tiago de Lima
"Optimal methods for reasoning about actions and plans in multi-agent systems"
also supervised by
Hans van Ditmarsch of University of Otago, NZ
scholarship: European program AlBan
2004-2007, Ph.D. October 22, 2007
2007-2009 postdoc at University of Eindhoven;
2009-2014 CNRS research fellow (chaire CNRS) and
since 2014 associate professor (Maitre de Conferences) at Artois University; habilitation in 2019
- Nicolas Troquard
"Independent agents in branching time"
cotutorship with Laure Vieu
scholarship: MOSTRO project of the LOA-CNR, University of Trento and IRIT, funded by Provincia di Trentino
2004-2007, Ph.D. July 20, 2007
postdoc at University of Liverpool (2007-2010) and University of Essex (2010-2011);
2011-2014 Marie Curie postdoctoral research fellow at LOA Trento;
2014-2016 postdoc at Université Paris-Est Créteil (Algorithmic, Complexity and Logic Laboratory LACL)
since 2016 postdoc and then assistant professor at Univ. Bolzano
- Carole Adam
"Emotions: from psychological theories to logical formalization and implementation in a BDI agent"
also supervised by Dominique Longin and Fabrice Evrard
scholarship: French Ministery of Education
2003-2007, Ph.D. July 10, 2007
postdoc at Orange Labs (2007-2008),
postdoc at RMIT, Melbourne (2008-2010),
since 2010 associate professor (Maitre de Conferences) at Univ. Grenoble and LIG (MAGMA group)
- Ivan Varzinczak
"What is a good domain description? Evaluating & revising action theories in dynamic logic"
also supervised by Laurent Perrussel
scholarship: CAPES, Brazil
2002-2006, Ph.D. Oct. 27, 2006
postdoc at Meraka Institute, Pretoria (2006-2012);
professor at the Department of Computer Science, Institute of Mathematics, Federal University of
Rio de Janeiro (2014-2015);
since 2010 associate professor (Maitre de Conferences) at Univ. Artois and CRIL; habilitation in 2019
- Mohamad Sahade
"An automatic tableaux-based prover for modal logics:
implementation and study of strategies"
also supervised by Olivier Gasquet
scholarship: Lebanese
2003-2006, Ph.D. July 20, 2006
working now at Agile, a Platform & Software Developpement company in Tripoli, Lebanon
- Thomas Polacsek
"A logic for planning in partially observable environments" (in French)
co-supervision with
Jérôme Lang of the group
plausible reasoning,
decision, proof methods at IRIT
scholarship: French Ministery of Education
1999-2004, PhD June 2004
postdoc at IRIT (2008); since 2011 research engineer at ONERA; habilitation in 2019
- Omar Rifi
"Updating logical belief bases and minimal change" (in French)
scholarship: French Ministery of Education
1997-2000, MSc Thesis 1997, Ph.D. June 2000
postdoc at IRIT (2000-2001); since 2001 at Tripoli University / Notre Dame University, Lebanon
- Dominique Longin
"Rational interaction and the evolution of beliefs in dialogues: a logic based on the notion of topic" (in French)
scholarship: French Ministery of Education
1996-1999, Ph.D. Nov. 1999
postdoc at University Toulouse III (1999-2000); since 2000 CNRS researcher at IRIT
- Marcos A. Castilho
"Logical models for reasoning about actions" (in French)
scholarship: CAPES, Brazil
1995-1998, Ph.D. Oct. 1998
since 1999 associate professor (1999-2016) and then full professor (profesor titular) at Federal University of Parana, Curitiba, Brazil
- Olivier Gasquet
"Automated deduction in multimodal logics by translation" (in French)
scholarship: French Ministery of Education
1990-1994, MSc Thesis 1991, Ph.D. 1994
assistant professor (Maitre de conference, 1994-2005) and then full professor at Université Paul Sabatier, Toulouse
Other
- Teddy Bouziat (MSc thesis July 2013);
also with Dominique Longin, Emiliano Lorini and Laurent Perrussel
- Faustine Maffre (MSc thesis July 2013);
also with Dominique Longin and Emiliano Lorini
- Emiliano Lorini (also with Jérôme Lang of the group plausible reasoning,
decision, proof methods at IRIT;
MSc Thesis sep 2005)
- Bilal Saïd
(MSc Thesis sep 2005)
- Raphaël Seban
(MSc Thesis sep 2004)
- Laure Bourgois
(MSc Thesis sep 2003)
- David Mercier (MSc Thesis July 2003);
also with Leila Amgoud of the group
plausible reasoning,
decision, proof methods at IRIT
- Seksun Suwanmanee
(sep 2000-sep 2001)
- Rémi Faure
1999-2002, MSc Thesis july 2000
- David Fauthoux
MSc Thesis july 2000
- Matthieu Hazard
MSc project apr - aug 99
- Patrick Maquin
(Diplôme Ingénieur C.N.A.M. july 1993)
last update: September 2015
https://www.irit.fr/~Andreas.Herzig