Członkowie Zespołu

	dr hab. Beata Konikowska - kierownik zespołu
	prof. dr hab. Andrzej Blikle (urlop bezpłatny)
	prof. dr hab. inż. Włodzimierz Drabent
	dr Wiesław Pawłowski
	prof. dr hab. Andrzej Tarlecki
	prof. dr hab. Józef Winkowski

Tematyka badawcza
Zainteresowania grupy zajmującej się tą tematyką obejmują częściowe i wielowartościowe logiki do specyfikacji i oceny oprogramowania, oraz badania algebraicznych i teorio-kategoryjnych aspektów takich specyfikacji. Prowadzone są badania nad modelami współbieżności, a w szczególności nad konfliktami w sieciach Petriego oraz nad morfizmami modeli bazujących na półprzemienności akcji.

W zakresie programowania w języku logiki grupa koncentruje się na dowodzeniu własności programów w takim języku, na deklaratywnym czyszczeniu oprogramowania, oraz na rozmaitych aspektach negacji w programowaniu w języku logiki.