About me:

Since November 2020 I am the head of Institute of Computer Science, Siedlce University. I work here as an assistant professor since 2003.
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.