Welcome new lecturer: Dr François Dupressoir
We welcome Dr François Dupressoir into the Department as a new Lecturer in Secure Systems.
Before joining the Department, he was a post-doctoral researcher at the IMDEA Software Institute. In 2013, he received a PhD from the Open University for his work on "Proving Cryptographic C Programs Secure with General-Purpose Verification Tools", under the supervision of Andy Gordon, Jan Jürjens and Bashar Nuseibeh. His PhD was supported by a Microsoft Research PhD Scholarship. He will be part of the Secure Systems group of the Department and a member of Surrey Centre for Cyber Security (SCCS). His research interests are mainly in the formal verification of imperative programs, with a focus on computational cryptographic security properties and proofs of security in the presence of side-channels and partial compromise.