My Research

Topics    Positions    Publications    PhD Students    Committees

Research Interests




Papers & other works

Note: the pdf files available here are usually semi-final versions of my papers, and they can somewhat differ from the final versions.
If you have any questions, or need a copy of a paper that is unavailable here, do not hesitate to
email me.

Ph.D. Students

I have been supervising and co-supervising the following Ph.D. students:


Membership in committees and organization of conferences:

Photo by WJ

Applied Security and Information Assurance Group @ University of Luxembourg Home
Formal Verification Group @ Polish Academy of Sciences
Computational Intelligence Group @ Clausthal University of Technology Last modified 2023-05-04