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:


Organization of conferences that I have been involved in:

Photo by WJ

Formal Verification Group @ Polish Academy of Sciences Home
Computational Intelligence Group @ Clausthal University of Technology Last modified 2018-03-21