My Research

Topics    Positions    Publications    PhD Students    Committees


Research Interests

General:


Detailed:



Positions



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:

Committees

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