LILaC

Current PhD students

• Ezgi Iraz Su
• Seif-eddine Kramdi
• Nadine Guiraud
  also supervised by Dominique Longin and Emiliano Lorini
• Frédéric Moisan
  cotutorship with Astrid Hopfensitz; also supervised by Emiliano Lorini and Laurent Perrussel

Current Master students

Former students

PhD

• François Schwarzentruber "Epistemic logic"
  (supervisor: Olivier Gasquet; also supervised by Philippe Balbiani and Emiliano Lorini)
  2007-2010, Ph.D. Dec. 1, 2010
  now associate professor (Maitre de Conferences) at Ecole Normale Superieure de Cachan and IRISA, Rennes
• Bilal Said "Graph rewriting for model construction in modal logic"
  (supervisor: Olivier Gasquet)
  2005-2010, Ph.D. Jan. 29, 2010
  now at Genigraph in Toulouse
• Meghyn Bienvenu "Consequence Finding in Modal Logic"
  (cosupervision with Jérôme Lang and Jérôme Mengin of the RPDMP group)
  2006-2009, Ph.D. May 7, 2009; prix de thèse AFIA in 2010
  postdoc at University of Bremen (jan.2009-sep.2010), now CNRS researcher at LRI, Paris
• Guillaume Aucher "Perspectives on belief and change"
  cotutorship with Hans van Ditmarsch of University of Otago, NZ
  2004-2008, Ph.D. July 9, 2008
  postdoc at University of Luxembourg (2008-2010), now INRIA research fellow (chaire INRIA) at Rennes
• Benoit Gaudou "Formalizing social attitudes in modal logic"
  also supervised by Dominique Longin and Emiliano Lorini
  2004-2008, Ph.D. July 10, 2008
  postdoc at IFI, Hanoi (2008-2010), now Maitre de conferences at Universite Toulouse I and IRIT (SMAC group)
• 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
  2004-2007, Ph.D. October 22, 2007
  postdoc at University of Eindhoven; now CNRS research fellow (chaire CNRS) at Artois University
• Nicolas Troquard "Independent agents in branching time"
  cotutorship with Laure Vieu
  2004-2007, Ph.D. July 20, 2007
  postdoc at University of Liverpool (2007-2010) and University of Essex (2010-2011) now Marie Curie postdoctoral research fellow at LOA Trento
• Carole Adam "Emotions: from psychological theories to logical formalization and implementation in a BDI agent"
  also supervised by Dominique Longin and Fabrice Evrard
  2003-2007, Ph.D. July 10, 2007
  postdoc at Orange Labs (2007-2008), postdoc at RMIT, Melbourne (2008-2010), now associate professor (Maitre de Conferences) at University of 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
  2002-2006, Ph.D. Oct. 27, 2006
  now postdoc at Meraka Institute, Pretoria
• Mohamad Sahade "An automatic tableaux-based prover for modal logics: implementation and study of strategies"
  also supervised by Olivier Gasquet
  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
  1999-2004, PhD June 2004
  postdoc at IRIT (2008); now research engineer at ONERA
• Omar Rifi "Updating logical belief bases and minimal change" (in French)
  1997-2000, Master Thesis 1997, Ph.D. June 2000
  now 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)
  1996-1999, Ph.D. Nov. 1999
  now CNRS researcher at IRIT
• Marcos A. Castilho "Logical models for reasoning about actions" (in French)
  1995-1998, Ph.D. Oct. 1998
  now associate professor at Federal University of Parana, Curitiba, Brazil
• Olivier Gasquet "Automated deduction in multimodal logics by translation" (in French)
  1990-1994, Master Thesis 1991, Ph.D. 1994
  now professor at Université Paul Sabatier, Toulouse

Other

• Emiliano Lorini (also with Jérôme Lang of the group plausible reasoning, decision, proof methods at IRIT; Master Thesis sep 2005)
• Bilal Saïd (Master Thesis sep 2005)
• Raphaël Seban (Master Thesis sep 2004)
• Laure Bourgois (Master Thesis sep 2003)
• David Mercier (Master 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, Master Thesis july 2000
• David Fauthoux Master Thesis july 2000
• Matthieu Hazard Master project apr - aug 99
• Patrick Maquin (Diplôme Ingénieur C.N.A.M. july 1993)

last update: May 2010