Our group
belongs to the Institute of
Computer Science of the Polish Academy of Sciences
located in Warsaw. But we are actually located in Gdańsk.
The members of the group are:
- Marek A. Bednarczyk (D.Sc.)
- Wiesław Pawłowski (Ph.D.)
- Sławomir T. Wierzchoń (Prof.)
Our activities in the fields of theoretical computer science include:
- Concurrency [Petri nets, event structures, etc.];
- Software specification and verification;
- Mobility [Petri hypernets];
- Applications of logic in Computer Science and foundations of formal methods;
- Artificial immune systems and their applications;
- Evolutionary computing and optimization, uncertainty management, fuzzy systems, decision-making theory, and machine learning.
You may browse through our research reports:
Our mail address:
Institute of Computer Science
Polish Academy of Sciences
Brzegi 55, 80-045 Gdańsk, Poland http://www.ipipan.gda.pl/
