Short bio
Steve Kremer is research director at Inria Nancy and Universi†é de Lorraine where he leads the PESTO research team on formal methods and security. Steve received his PhD in computer science from Université Libre de Bruxelles in 2003 and his Habilitation in computer science from ENS Cachan in 2011. From 2004 to 2011 He held a tenured research position at ENS Cachan. In 2015 he was awarded an ERC Consolidator grant to work on automated verification of cryptographic protocols.
— presenter's bio has been redacted at the date of last given talk