Dr Ioana Boureanu

Marie Skłodowska-Curie (MSCA) Fellow

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

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

Further information


I am 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: Friday 21 July 2017 15:23:12 by m07811
Expiry Date: Thursday 4 January 2018 17:38:19
Assembly date: Mon Jul 24 08:53:10 BST 2017
Content ID: 166694
Revision: 3
Community: 1028

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