I’m a PhD candidate in computer security at the University of Luxembourg under supervision of Prof. Sjouke Mauw within the Security and Trust of Software Systems group. My PhD is being funded by Luxembourg National Research Fund’s grant AFR-PhD-10188265.

My work focusses on formal verification of security protocols, with particular interest in distance-bounding protocols.

I have a B.S. in Computer Science and a M.S. in Applied Informatics.

My CV can be found here.


I’m glad to announce that in June 2019, I’ll be joining Prof. David Basin’s Information Security Group at ETH Zurich!!!