Group Members

	Wojciech Penczek, Ph.D., Professor, Head of the Group
	Marek Bednarczyk, Ph.D., Associate Professor
	Piotr Dembiński, Ph.D., Professor
	Barbara Dunin-Keplicz, Ph.D., Associate Professor
	Michał Knapik, M.Sc.
	Antoni Mazurkiewicz, Ph.D., Professor
	Artur Męski, M.Sc.
	Maciej Szreter, Ph.D.

	VERICS
	VERICS - a prototype verification system (for scientific purposes so far) aimed at verifying distributed systems described either as timed automata or in the specification language ESTELLE. The present version of the system allows for verification of the reachability properties. More details about VERICS.
	enTish
	enTish - a prototype system implementing the idea of Web services; the prototype is available for testing and evaluation at More details about enTish.

Research Domain Activities and interests of the Group members center around the following topics:

	models of distributed systems
	temporal logics for concurrent systems
	modelling of knowledge and belief
	automated verification and model checking of concurrent systems
	cryptographic algorithms
	multi-agent systems
	network-based programming
	agent virtual organizations
	Web services