AI Department LILaC

Current PhD students

1. Carlos Aguilera Ventura
   also supervised by Jonathan Ben-naim
   scholarship: French Ministery of Education
   2022-

Former students

PhD

1. 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
2. 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)
3. 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
4. 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-)
5. 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)
6. 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
7. 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)
8. 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
9. 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-)
10. 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
11. 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
12. 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
13. 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
14. 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
15. 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
16. 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
17. 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)
18. 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
19. 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
20. 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
21. 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
22. 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
23. 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
24. 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