Dr Ioana Boureanu

Lecturer in Secure Systems

Qualifications: BSc (2007), PhD (Imperial 2011)

Phone: Work: 01483 68 3425
Room no: 09 BB 02

Further information


I am a Lecturer in Secure Systems at University of Surrey. Before this, I was a Marie Skłodowska-Curie (MSCA) Fellow at the Secure Systems Group, Department of Computer Science, University of Surrey. My research focuses on (automatic) analysis of security using mainly logic-based formalisms, as well as on provable security and applied cryptography. I obtained my PhD in formal verification of security protocols from Imperial College London (2011), and my BSc in computing, vale dictorian, from Faculty of Computer Science, "Alexandru Ioan Cuza" University, Iaşi, România (2007). I then worked as a postdoctoral researcher in LASEC (Laboratory of Security and Cryptography) at EPFL, Lausanne, Switzerland. In 2012, I became deputy director of the lab and a lecturer ("chargée de cours") in security and cryptography. In 2013, I was appointed Professor of Information Security at the University of Applied Sciences, Western Switzerland. I then spent a year in industry working as a security architect at Akamai. I was awarded an H2020 MSCA fellowship in 2015, which I began at Imperial College London, before moving to University of Surrey in 2016.

Page Owner: ib0020
Page Created: Tuesday 4 October 2016 17:39:25 by sl0022
Last Modified: Monday 19 February 2018 15:29:26 by ib0020
Expiry Date: Thursday 4 January 2018 17:38:19
Assembly date: Thu Feb 22 00:52:22 GMT 2018
Content ID: 166694
Revision: 5
Community: 1028

Rhythmyx folder: //Sites/surrey.ac.uk/computing/people
Content type: rx:StaffProfile