Recherche
Administration
Organisation
- Représentant des doctorants au conseil de laboratoire
- Participation au comité local 'Sauvons La Recherche'. Voir les liens et le résultat de notre groupe de travail sur 'Statuts et métiers des non-permanents' ou parmi les compte-rendus
- Participation à l'organisation des 8èmes Journées du LIPN
- Séminaire sur 2 journées
- Spécifications formelles et systèmes multi-agents
- Auxilliary Reviewer pour ICMAS'2000
Développement
Développement d'une plateforme de test rapide de protocoles pour SMA basée sur les réseaux de Petri (langage java).
Contrat
Participation à un contrat de 6 mois avec Thalès. Sujet : passer d'une conception orientée programmation déclarative à une conception système multi-agents. Application à un logiciel de diagnostic.