Departement of Computer Science
Ashton Building, Ashton Street
Liverpool L69 3BX, Royaume Unit
Bienvenue !
Je suis actuellement chercheur associé au sein du département d'informatique de l'université de Liverpool. J'ai reçu mon doctorat à l'Université Grenoble Alpes, où j'étais membre de l'équipe Synchrone du laboratoire Verimag. Avant de traverser la Manche, j'ai également été post-doctorant au sein de l'équipe SUMO au centre INRIA Rennes - Bretagne Atlantique.
Je présente sur ces quelques pages mes activités de recherche, ainsi que d'enseignement ; quelques outils que j'ai développés dans ce cadre y sont aussi publiés, et maintiens ici un dépôt OPAM destiné à simplifier l'installation et l'utilisation d'une partie de ces outils.
J'expose également sur cette page une vidéo de présentation d'un effet zététique, que j'ai réalisée en 2010 avec d'autres doctorants moniteurs de Grenoble. Elle illustre un biais de raisonnement fréquent appelé l'effet « Pangloss » à l'aide de quelques exemples.
Domaines de recherche
- Algorithmes de synthèse de contrôleurs discrets ;
- Vérification et test des réseaux de neurones pour l'apprentissage profond (non encore publié) ;
- Techniques de contrôle réactif et langages de programmation pour la conception des systèmes ;
- Contrôle global pour la gestion de ressources ; conception et mise en œuvre des systèmes d'exploitation.