| |
 |
Recherche
Je suis Chargé de Recherche CNRS (Institut des Sciences et Technologies de l'Information et de l'Ingénierie, INST2I) dans l'équipe Logique, Interaction, Langage et Calcul (LILaC) de l'IRIT depuis octobre 2002.
Je suis également rattaché à l'équipe Jugement et décision en situation complexe (CLLE-LTC - UMR 5263).
Thèmes de recherche
Je m'intéresse aux modèles formels de l'interaction dans une perspective pluridisciplinaire via la formalisation logique de composants mentaux (croyance, désirs, buts, intention), de l'action, des normes, et des institutions, ainsi qu'aux interactions entre ces composants, et qu'aux raisonnements que des agents artificiels sont susceptibles de faire à partir de ces composants.
Recherches actuelles
Ces recherches se focalisent actuellement sur la modélisation des émotions, de la confiance, et de concepts sociaux institutionnels (croyance de groupe, normes, délégation et langage).
Curriculum vitæ
Cursus universitaire :
- 1999 : thèse en informatique - intelligence artificielle, Université Paul Sabatier, Toulouse (recherches effectuées à l'IRIT/UPS), sur le thème « Interaction rationnelle et évolution des croyances dans le dialogue : une logique basée sur la notion de topique », sous la direction de Luis FARIÑAS del CERRO, co-encadré par Andreas HERZIG.
- 1996 : DEA « Représentation des Connaissances et Formalisation du Raisonnement - intelligence artificielle », Université Paul Sabatier, Toulouse. Recherches effectuées à l'IRIT/INP sur le thème « Analyse logico-philosophique de la théorie des actes de discours : vers une reconnaissance syntaxique », encadré par Fabrice Evrard.
- 1995 : maîtrise d'informatique (Master 1), Université de Toulon et du Var, La Garde.
- 1994 : licence d'informatique (Licence 3), Université de Toulon et du Var, La Garde.
Cursus professionnel :
- octobre 2006 : promotion au grade de Chargé de Recherche 1re classe.
- octobre 2002 : recrutement au CNRS en tant que Chargé de Recherche 2e classe.
- février 2002 - septembre 2002 : chercheur contractuel au CNRS en tant que post-doctorant au Laboratoire Travail et Cognition, UMR 5551 (aujourd'hui laboratoire CLLE-LTC - UMR 5263), dépendant de la Section 29 (psychologie cognitive, aujourd'hui Section 27) du Comité National.
- janvier 2002 : CDD d'un mois au CNRS affecté à l'IRIT.
- octobre 2001 - Décembre 2001 : vacations de recherche au sein de l'équipe LILaC de l'IRIT.
- septembre 2000 - août 2001 : ATER à temps plein à l'Université Paul Sabatier, Toulouse.
- septembre 1999 - août 2000 : ATER à mi-temps à l'Université Paul Sabatier, Toulouse.
- septembre 1996 - août 1999 : allocataire du ministère de l'éducation, de l'enseignement supérieur et de la recherche.
Encadrement
Etudiants actuels :
- Septembre 2011 - 2012 : Maxime SANSELONE, en Master Recherche sur « Formalisation de la croyance explicite et de la croyance implicite ».
- Depuis septembre 2009 : Nadine GUIRAUD, étudiante en thèse sur « Emotions, actes de lanagage de type expressif, et annonces publiques » (co-encadrement avec Emiliano LORINI et Andreas HERZIG), financée sur le contrat ANR CECIL numéro ANR-08-CORD-005-02.
Etudiants passés :
- Septembre 2010 - 2011 : Loïc HENRY, en Master Recherche sur « Formalisation de la honte et de ses relations avec la culpabilité ».
- septembre 2007 - 2010 : Manh-Hung NGUYEN, étudiant en thèse sur « La dynamique des émotions et de la confiance dans les Systèmes d'Intelligence Ambiante : vers un modèle formel psychologiquement plausible » (co-encadrement avec Jean-François BONNEFON), allocataire de recherche, moniteur de l'université Paul Sabatier. Maintenant à l'Université d'Hanoi.
- Septembre 2009 - 2010 : Eric BRADY, en Master Recherche sur « Emotions et confiance graduées » (co-encadrement avec Emiliano LORINI).
- Septembre 2004 - 2008 : Benoit GAUDOU, étudiant en thèse sur « Une formalisation en logique modale de la croyance de groupe » (co-encadrement avec Andreas HERZIG), allocataire de recherche, moniteur, puis ATER à l'Institut National Polytechnique de Toulouse (ENSEEIHT). Maintenant à l'IRIT, équipe SMAC, Université Toulouse 1 Capitole.
- Septembre 2003 - 2007 : Carole ADAM, étudiante en thèse sur « Emotions: from psychological theories to logical formalization and implementation in a BDI agent » (co-encadrement avec Andreas HERZIG et Fabrice EVRARD), allocataire de recherche, moniteur, puis ATER à l'Institut National Polytechnique de Toulouse (ENSEEIHT). Maintenant à au LIG, équipe MAGMA, à Grenoble.
- Septembre 2006 - juin 2007 : Mikaël MAYORGAS, étudiant en master 2 recherche sur « Etudier la confiance en toute confiance ».
- Septembre 2004 - juin 2005 : Pierre-Vincent PAUBEL, étudiant en master 2 professionnel à l'Université de la Méditerranée sur « Syntaxe du langage naturel : un analyseur psychologiquement plausible sous ACT-R 6 ».
- Septembre 2003 - juin 2004 : Raphaël SABAN, étudiant en DEA (master 2 recherche) sur « Etude de la notion de bon en logique modale » (co-encadrement avec Andreas HERZIG).
- Septembre 2000 - juin 2001 : Rémi FAURE, étudiant en DEA (master 2 recherche) sur « Une formalisation de la détection des actes de langage indirects » (co-encadrement avec Andreas HERZIG).
Projets entre partenaires académiques
Projets en cours :
- 2012 - 2014 : EMOTeS. Projet ANR. Co-rédacteur du projet, participant.
- 2009 - 2012 : CECIL. Projet ANR. Coordinateur du projet.
Projets terminés :
Projets avec partenaire(s) industriel(s)
Projets en cours :
- 2008 - 2012 : MAELIA. Project financé par le RTRA Sciences et Techniques de l'Aéronautique et de l'Espace (STAE). Participant au Workpackage 3.
Projets terminés :
- 2008 : Etude de la modélisation des actions des agents institutionnels, humains et logicielsContrat de recherche avec France Telecom.
- 1997 - 2000 : Définition et mise en oeuvre d'une théorie de la révision des croyances dans le contexte d'un dialogue coopératif. Projet industriel, action "Méthodes et techniques pour la réalisation de systèmes de dialogues homme-machine coopératifs intelligents a composante orale " des consultations thématiques de France Télécom R&D (contrat CNET 97 1B 046). Acteur (thèse).
- 2003 - 2005 : Approche pluridisciplinaire du traitement de l'erreur dans le dialogue oral homme-machine. Projet Région (Midi-Pyrénées). Acteur.
Autres activités scientifiques (depuis 2010)
Evaluations d'articles scientifiques :
Evaluations de projets de recherche :
- Avril 2010 : évaluateur pour l'ANR, programme Contenus et Interactions (CONTINT).
- Janvier 2010 : évaluateur pour Complexity-NET issu du European Research Area Network (ERA-NET).
Participation à des événements scientifiques :
Participation à des instances scientifiques :
- Mai 2010 : membre du comité de sélection de l'UPS pour le poste MCF0266.
- Printemps 2010 : membre du comité de sélection de l'UPS pour le poste MCF1523.
- Mars 2010 : membre du comité de sélection de l'UPS pour le poste MCF0808 (chaire UPS/CNRS).
- Depuis janvier 2009 : membre nommé au collège scientifique de la 27e Section (informatique) de l'UPS (décision du CA du 26/01/2009) et élu à son bureau (en date du 02/02/2009).
- Depuis juin 2009 : rapporteur du Groupe d'Avancement et de Prime (GAP) pour les Maîtres de Conférence dans le pôle math-informatique de l'UPS (décision du CA du 08/06/2009).
Diffusion et valorisation de la recherche:
|
|
English
