Jannik Dreier

Jannik Dreier is Associate Professor at Université de Lorraine in the PESTO team at LORIA and lecturer at TELECOM Nancy. He obtained his PhD in 2013 from Université de Grenoble on the formal verification of electronic voting and auction protocols. A recognised expert in the fields of protocol security, formal verification and privacy-preserving computations, Jannik is one of the main developers of the Tamarin prover open source verification tool. He co-chairs the Formal Methods for Security Working Group.