About me:

I work in the Institute of Computer Science, University of Siedlce as an assistant professor since 2003. Since November 2020 till September 2024 I was the head of the Institute. My main research interests are automated planning and service composition, symbolic, nature-inspired, and hybrid computations, automated verification, UML, and model checking of concurrent systems. I am also a member of VerICS Group. We work on the verification system VerICS maintained in Institute of Computer Science Polish Academy of Sciences. My main contribution there is the Bounded Model Checking for UML module (BMC4UML). I have been also working on PlanICS project aimed at new methods of planning and Web service composition. Recently, my research interests are towards multi-agent systems, especially the SAT-based satisfiability and model synthesis for Alternated-time Temporal Logic (ATL) formulae. And very recently, also towards Strategy Logic.