Allan Blanchard

Je suis actuellement ingénieur chercheur au Laboratoire de Sûreté et Sécurité des Logiciels du CEA List. Je suis l'un des développeurs principaux de Frama-C, un outil open-source d'analyse de code C. Je m'intéresse en particulier à rendre les outils de preuves fonctionnels plus faciles à utiliser, en augmentant leur automatisation et en améliorant le feedback utilisateur, mais aussi en produisent des tutoriels permettant d'apprendre à utiliser l'outil au mieux. Mes sujets de recherche tendent aujourd'hui vers les analyses multi-langages et vers l'analyse de programmes concurrents.