LILaC

Andreas Herzig: students


Current PhD students

  1. Julien Vianey
    also supervised by Frédéric Maris
    scholarship: French Ministery of Education
    2017-
  2. Christos Rantsoudis
    also supervised by Olivier Gasquet and Guillaume Feuillade
    scholarship: French Ministery of Education
    2015-

Former students

PhD

  1. Zhanhao Xiao
    also supervised by Laurent Perrussel, Dongmo Zhang and Emiliano Lorini
    scholarship: CSC
    2014-2017, Ph.D. December 12, 2017
  2. 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; now at Berger-Levrault, Toulouse
  3. 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
  4. 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; now postdoc at Univ. Lisbon
  5. 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
  6. 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; 2013-2015: postdoc at Dynamic decision making lab, Department of Social and Decision Sciences, Carnegie Mellon University since 2015: postdoc at Faculty of Economics of the University of Cambridge
  7. François Schwarzentruber "Epistemic 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
  8. 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
    at Genigraph from 2010-2012; since 2011 at University of Lebanon
  9. 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 (until 2015 at LRI, Paris; at LIRMM Montpellier since)
  10. 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)
  11. 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)
  12. 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) at Artois University; since 2014 associate professor (Maitre de Conferences)
  13. 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; since 2014 postdoc at Université Paris-Est Créteil (Algorithmic, Complexity and Logic Laboratory LACL)
  14. 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 University of Grenoble and LIG (MAGMA group)
  15. 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 University of Artois and CRIL
  16. 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
  17. 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
  18. 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
  19. 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
  20. Marcos A. Castilho "Logical models for reasoning about actions" (in French)
    scholarship: CAPES, Brazil
    1995-1998, Ph.D. Oct. 1998
    since 1999 associate professor at Federal University of Parana, Curitiba, Brazil
  21. 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 professor at Université Paul Sabatier, Toulouse

Other


last update: September 2015


https://www.irit.fr/~Andreas.Herzig