Research topics

My research activities are concerned with modeling and validation techniques for (concurrent) systems and softwares.

My recent research activities on software security are now described here.

Previsouly , I worked on the following topics:

[Main publications]

Upcoming conferences:

Contribution to existing validation tools

Main Research Projects

Current projects:
Last main projects:


PhD students:
Master students: