Mounir Assaf

Stevens Institute of Technology
Computer Science Department

massaf (at) stevens (dot) edu


I am a Postdoctoral Fellow in the Department of Computer Science at Stevens Institute of Technology, working with David Naumann. My primary research interests include quantitative and qualitative information flow, formal methods for computer security and programming languages.

I defended my Phd in May 2015, in Rennes. I was a Phd student at the Sofware Safety Lab (CEA LIST) and CIDre team. My advisors were 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).