Research
My interests include quantitative and qualitative information flow, formal methods for computer security and programming languages. My research focuses on harnessing the calculational framework of abstract interpretation to improve analyses for information flow security.
More information can be found in my research statement, CV and teaching statement.
Bio
I am a Postdoctoral Fellow in the Department of Computer Science at Stevens Institute of Technology, working with David Naumann. I defended my Phd in May 2015, in Rennes. I was a Phd student at the Sofware Safety Lab (CEA LIST) and CIDre team, advised by Julien Signoles (CEA LIST), Éric Totel and Frédéric Tronel (CIDre).
I graduated in 2011 from the University of Rennes 1 in the Research in Computer Science specialism (MRI), with a thematic track on Information and Computing Infrastructure Security. I also graduated the same year from Supélec engineering school with a Major in Secure Information Systems (SIS).