Présentation

Je m'intéresse à plusieurs domaines de l'informatique, principalement autour des couches système.

En recherche, j'ai commencé par m'intéresser au parallélisme (parallélisme de données, parallélisation automatique), au calcul intensif, aux systèmes distribués, puis au génie logiciel (langages fonctionnels, ingénierie dirigée par les modèles, modèles de calcul et de communication), puis à la conception de systèmes embarqués (systèmes temps-réel, systèmes sur puce, réseaux sur puce), et enfin actuellement aux architectures neuromorphiques.

En enseignement, j'enseigne ou ai enseigné des cours allant de l'informatique théorique (logique formelle, théorie des langages), la programmation (langages fonctionnels, compilation, parallélisme, langages synchrones), les systèmes (systèmes distribués, systèmes embarqués, réseaux, architecture des ordinateurs), jusqu'à la communication scientifique.