Raphaël Michel

Raphaël Michel est ingénieur de recherche et développement au sein de l’équipe sécurité et certification du CETIC depuis janvier 2010. Il possède un graduat et une licence en informatique, et a commencé son doctorat en rejoignant le CETIC. Son sujet de recherche principal est l’exploitation et l’extension de solveurs SMT dans le cadre des problèmes de configuration. Les projets de recherches connexes incluent entre autres les lignes de produits logiciels, l’automatisation de la configuration des produits qui en sont issus ainsi que la programmation par contraintes, les problèmes de satisfaisabilité, le développement de langages et la transformation de modèles.

Avant d’intégrer le CETIC, il a eu l’occasion de se forger une expérience dans le monde du data warehousing lors de laquelle il a appris l’utilisation des outils et du langage SAS. Parallèlement à cela, il a également eu l’occasion d’être formé à la technologie Microsoft BizTalk et de l’utiliser au quotidien pendant près d’un an.