Our group
belongs to the Institute of
Computer Science of the Polish Academy of Sciences
located in Warsaw. But we are actually located in Sopot, a resort city
near Gdańsk.
The members of the group are:
- Marek A. Bednarczyk (Ph.D.)
- 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 tel./fax: (+48)(58)5514971
Polish Academy of Sciences URL (this page):
Abrahama 18, 81-825 Sopot, Poland http://www.ipipan.gda.pl/