Short bio
François Dupressoir is a Senior Lecturer in Cryptography at the University of Bristol, where he also serves as Head of the Cryptography Research Group. He has been a member of the EasyCrypt development team since he got his PhD in 2012, first at the IMDEA Software Institute, then at the University of Surrey, and finally at Bristol; with a focus on using formal methods to improve the real-world security of cryptographic systems.
— presenter's bio has been redacted at the date of last given talk