Jannik Dreier

Jannik Dreier est maître de conférences à l’Université de Lorraine dans l’équipe PESTO au LORIA et à TELECOM Nancy. Il a obtenu sa thèse en 2013 à l’Université de Grenoble sur la vérification formelle des protocoles de vote et d’enchères électroniques. Expert reconnu dans les domaines de sécurité des protocoles, vérification formelle et calculs préservant la confidentialité, Jannik est un des développeurs principaux de l’outil de vérification open source Tamarin prover. Il co-préside le Groupe de Travail Méthodes Formelles pour la Sécurité.