Welcome new academic: Dr Ioana Boureanu
Ioana Boureanu has joined the Department of Computer Science, at University of Surrey currently as an EU H2020 funded Marie Skłodowska-Curie Fellow and is expected to transfer to being a Lecturer in Secure Systems from July 2017. She obtained her PhD degree in formal verification of security protocols from the Imperial College London (2011), and her BSc degree in Computing, vale dictorian, from the Faculty of Computer Science, "Alexandru Ioan Cuza" University, Iaşi, România (2007). She worked as a postdoctoral researcher, lecturer and security professional both in academia and in industry (EPFL, University of Applied Sciences, Western Switzerland, and Akamai). Before joining Surrey, her EU-funded fellowship was hosted at the Imperial College London.
She is now part of the Department's Secure Systems group and a core member of the Surrey Centre for Cyber Security (SCCS). Her research focuses on (automatic) analysis of security using mainly logic-based formalisms, as well as on provable security and applied cryptography.