
Mes travaux de thèse portent sur la programmation de microcontrôleurs, pour lesquels je m'intéresse en particulier à des paradigmes de programmation qui soient adaptés aux faibles ressources de ce matériel tout en offrant un modèle expressif pour une programmation plus simple et plus sûre qu'avec les traditionnels langages C / assembleur. Ma curiosité et mes travaux m'orientent vers les aspects théoriques des langages de programmation, la compilation et la logique.
-> Le manuscrit de ma thèse est disponible ici.
Je suis actuellement "Research Associate" à l'University of Kent, à Canterbury (UK).