I was a PostDoc at the University of Luxembourg, within the Security and Trust of Software Systems
(SaToSS) research group. I worked on the Socio-Technical Analysis of Security and Trust project.
Teaching
In 2014-2015, co-teacher for:
In 2013-2014, teacher for:
Research Topics.
- Formal Methods: Process Algebra, Model Checking, Theorem Proving, and Real-Time and Probabilistic Systems.
- Security Analysis.
- Data Mining.