Philippe Balbiani est chargé de recherche CNRS dans le groupe LILaC de l'Irit. Il a obtenu l'habilitation à
diriger des recherches en sciences en mai 1999.
Adresse : Institut de recherche
en informatique de Toulouse, 118 route de Narbonne, 31062 Toulouse Cedex 4, France.
Thèmes :
- Logique modale.
- Sécurité informatique.
Publications
Projets :
Etudiants :
- Fahima Cheikh : Une approche uniforme de la modélisation
des systèmes de protection temporisés. Diplôme de
master en informatique, université
Paul Sabatier (Toulouse), en préparation.
- Khalil
Challita : Problèmes
de satisfaction de contraintes spatiales : de l'algèbre des régions
à la géométrie affine. Doctorat en informatique,
université Paul Sabatier
(Toulouse), mars 2005.
- Fatima Harb : Access control with obligations and prohibitions. Diplôme
de master en informatique, université
libanaise (Beyrouth), octobre 2004.
- Ali Kaafarani : Access control with negative conditions. Diplôme
de master en informatique, université
libanaise (Beyrouth), octobre 2004.
- Abd El Salam Hajjar : Logique épistémique
avec connaissance distribuée. Diplôme de master en
informatique, université
libanaise (Beyrouth), décembre 2003.
- Pierre Gambarotto : Eléments
de géométrie qualitative pour la description structurale d'objets.
Doctorat en informatique, université
Paul Sabatier (Toulouse), mai 2003.
- Dorian Boissonnade : Modélisation de la sécurité
dans les systèmes d'informations. Diplôme de master
en informatique, université
Paul Sabatier (Toulouse), juin 2002.
- Noel Laverny : La logique EDL,
son rôle dans les problèmes de planification, sa complexité. Diplôme
de master en informatique, université
Paul Sabatier (Toulouse), juin 2002.
- Nathalie Chetcuti
: Déduction automatique pour le calcul des durées
basée sur la méthode des tableaux. Doctorat en informatique,
université Paul Sabatier
(Toulouse), décembre 2001.
- Jean-Francois
Condotta : Problèmes de satisfaction
de contraintes spatiales : algorithmes et complexité. Doctorat
en informatique, université
Paul Sabatier (Toulouse), janvier 2000.
- Jean-Francois Condotta
: Vers une formalisation de l'espace : l'algèbre des
rectangles. Diplôme de master en informatique, université Paul Sabatier
(Toulouse), juin 1997.
- Aomar Osmani
: Diagnostic de pannes dans les réseaux : approche à
base de modèles et raisonnement temporel. Doctorat en
informatique, université
Paris-Nord (Villetaneuse), décembre 1999.
- Anne Lopez : Déduction automatique en géométrie
par réduction de figures. Doctorat en informatique,
université Paul Sabatier
(Toulouse), juillet 1995.
Co-auteurs :