Członkowie Zespołu

	prof. dr hab. inż. Wojciech Penczek - kierownik zespołu
	dr hab. Marek Bednarczyk
	prof. dr hab. Piotr Dembiński
	dr hab. Barbara Dunin-Kęplicz
	mgr Michał Knapik
	prof. dr hab. Antoni Mazurkiewicz
	mgr Artur Męski
	dr inż. Maciej Szreter

	CORE
	Komputerowe metody identyfikacji nawiązań w tekstach polskich CORE: http://zil.ipipan.waw.pl/CORE.
	Inteligentny hybrydowy system planowania i kompozycji usług sieciowych,
	*4QL
	A Query Language with Unrestricted Negation: *4QL.
	VerICS

	Barbara Dunin-Kęplicz, Rineke Verbrugge
	Teamwork in Multi-Agent Systems. A Formal Approach.. Wiley and Sons, 2010
	Wojciech Penczek, Agata Pólrola
	Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach.. Studies in Computational Intelligence, 2006

Tematyka badawcza
Działalność i zainteresowania członków grupy dotyczą następujących tematów:

	modele systemów rozproszonych i współbieżnych,
	logiki temporalne dla systemów współbieżnych,
	modelowanie wiedzy i przekonań,
	weryfikacja modelowa systemów czasu rzeczywistego i wielo-agentowych,
	projektowanie i analiza protokołów kryptograficznych,
	formalne modelowanie systemów wieloagentowych: parakonsystentne modele systemów wieloagentowych, modelowanie przekonań, wnioskowanie i komunikacja;
	lokalne obliczenia w grafach: problem elekcji, numeracji i negocjacji.

Wiodącymi badaczami w tym zakresie są: M. Bednarczyk, P. Dembiński, B. Dunin-Kęplicz, A. Mazurkiewicz, W. Penczek.