Bienvenu(e)

Je suis actuellement un chercheur postdoctoral à l'Université de Surrey, en Angleterre

Thèmes de recherche

• Méthodes formelles en informatique (model checking, etc)
• Logiques modales (logique temporelle et logique épistémique)
• Sécurité des protocols de communication (vérification formelle et automatique)
• Systèmes multi-agents (modèle de raisonnement et de communication)

En construction