I am a Lecturer at the Computer Science Department from Versailles Saint-Quentin en Yvelines University. I belong to the SMIS project team (INRIA/UVSQ). My research focus on formal aspects of security. In particular I am interested in Secure Hardware and Isolated Execution Environments in relation with (potentially distributed) databases.
I teach various topics of computer science bachelor and master's students at the science faculty at UVSQ.