Group Members

	Beata Konikowska, Ph.D., Associate Professor, Head of the Group
	Andrzej Blikle, Ph.D., Professor (on leave)
	Włodzimierz Drabent, Ph.D., Associate Professor
	Wiesław Pawłowski, Ph.D.
	Andrzej Tarlecki, Ph.D., Professor
	Józef Winkowski, Ph.D., Professor

Research Domain
The scientific activities of the Group center around theoretical foundations and methodological ideas related to areas of software engineering, concurrent systems and logical programming. They are aimed first of all at application of mathematical concepts, results and techniques of universal algebra, logic and category theory.

Within the software engineering area, the Group is involved in research on various aspects of systematic development, validation and verification of software for both sequential and concurrent computation. More specifically, interests of the Group include use of partial and multivalued logic for software specification and validation, and research on algebraic and category-theoretical aspects of such specifications.

There is also ongoing reasearch on alebraic underpinnings of concurrency, namely conflicts in Petri nets and morphism on semicommutations. Within the logic programming area, the Group focuses on proving properties of logic programs, semantics and methodology of logic programs, declarative debugging and various aspects of negation in logic programming.