I hold a PhD and an MSc. in Computer Science from the University of Toronto and a MEng. in Telecommunication Engineering from the Ecole Nationale Supérieure des Télécommunications (Paris).

My research interests include how hypervisors can be used to improve the security of computer systems, as well as operating systems and virtualization technology. Generally I am interested in all aspects of computer security, including uses of static and dynamic analysis to verify software correctness and find bugs, network security, cryptography, web security...