The  Theoretical Computer Science Research Group (formerly Research Group on Modelling Multi-Agent Systems) was founded on January 1, 1997. Its current members are Erzsébet Csuhaj-Varjú (head, scientific advisor), György Vaszil (senior researcher), and Katalin Lázár (Ph.D. student).

The main objective of the group is to develop sophisticated formal frameworks, based on highly elaborated mathematical and computational tools, for modelling multi-agent architectures and study their applicability in computer science. Our aim is to get a better understanding of nature of intrinsic intricate behaviour of systems of (autonomous) agents and to offer convenient and efficient tools for computing based on multi-agent technology. The startpoint of our research is  Grammar Systems, a recent vivid field of formal language theory modelling distributed complex systems.  Using this framework, as the member of the European Molecular Computing Consortium we would also like to develop unconventional computational paradigms like models for Molecular Computing.

Contact address:

Computer and Automation Research Institute of the Hungarian Academy of Sciences
1111 Budapest, Kende utca 13-17.
Hungary

Room: K 419
Tel: (+36-1)-279-6139
Fax: (+36-1)-466-7503
E-mail: csuhaj@sztaki.hu