Artur Niewiadomski
   
   artur.niewiadomski(at)uph.edu.pl

About me:

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). Recently, I have been working on PlanICS project aimed at new methods of planning and Web service composition.

Links:

Publications
PlanICS
VerICS
BMC4UML
Teaching
Siedlce University

Visitors since 12.2014

Flag Counter