I am an assistant professor at the Institute of Computer Science, Siedlce University. 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.