Steven Varoumas

ma tete Je suis docteur en informatique, ayant réalisé ma thèse au sein de l'équipe APR du LIP6 à Sorbonne Université.

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.

Pendant ma thèse, j'ai travaillé sous la supervision de Tristan Crolard dans l'équipe Sys du Cédric au Cnam, ainsi que de Philippe Trébuchet et d'Emmanuel Chailloux à Sorbonne Université.

Je suis actuellement "Research Associate" à l'University of Kent, à Canterbury (UK).



Contact

LIP6 (Jussieu) :
4 place Jussieu,
75005 Paris
Tour 25-26 - bureau 320
Cedric (Cnam) :
2 rue Conté,
75003 Paris
Bureau 35.1.4

e-mail : steven.varoumas@lip6.fr