~

Je suis doctorant (en dernière année de thèse !) en informatique dans l'équipe APR du LIP6 à Sorbonne Université, ainsi que dans l'équipe Sys du Cédric au Cnam.

Mes travaux 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é me pousse vers les aspects théoriques des langages de programmation, la compilation et la logique.

Je travaille sous la supervision de Tristan Crolard, professeur au Cnam, et de Philippe Trébuchet, maître de conférences à Sorbonne Université.