Guiraud Nadine   Statut : Doctorant   Service / Equipe :  Logique, Interaction, Langue et Calcul   Contact : Nadine.Guiraud@irit.fr   Localisation : IRIT1 / Niveau 3, Pièce: 303   Téléphone : 05 61 55 7343   Publications :

 

Recherche

Je suis doctorante dans l'équipe Logique, Interaction, Langage et Calcul (LILaC) de l'IRIT depuis septembre 2009. Le sujet de ma thèse est "Emotions, actes de langage de type expressif, et annonces publiques". Je suis sous la direction de Andreas Herzig, et co-encadrée par Dominique Longin et Emiliano Lorini.

 

 Thèmes de recherche

Mes recherches se déroulent dans le cadre du projet CECIL et concernent la formalisation en logique BDI (Belief, Desire and Intention) des émotions et des actes de langage, en particulier ceux de type expressif. Cette étude concerne donc à la fois la logique modale (dont la logique dynamique), la théorie des émotions, la philosophie du langage et la philosophie de l'action.

 

 Curriculum Vitae

Formation

A ce jour	Thèse en intelligence artificielle - IRIT à l'UPS Toulouse
Sept. 2009	Master 2 Recherche en Informatique et Télécommunications parcours Intelligence Artificielle - UPS à Toulouse
Juin 2006	Licence d'informatique - UPS à Toulouse
Juin 2003	Baccalauréat S SVT spécialité Mathématiques

Activités de recherche

Fév.-Juin 2009	Stage à l'IRIT dans l'équipe LILaC encadré par Andreas Herzig, directeur de recherche au CNRS. -- Formalisation des actes de dialogue dans des systèmes multi-agents (Logique multi-modale : logique des croyance, but, acceptance, annonce; aggrégation de jugements)
Juil.-Aout 2008	Stage à l'IRIT dans l'équipe LILaC encadré par Olivier Gasquet, professeur à l'UPS. -- Apprentissage de la logique modale

 

 

 

Enseignement

J'enseigne des TD et TP de réseaux en L3 STS à Albi, module sous la responsabilité de Ali Larab.