Programme leader: G.Rozenberg
Theoretical foundations of computer science. Three important areas of research are:
- The classic theory of formal languages. In particular such fields are investigated as: grammars (contextual grammars, splicing); automata and transducers; combinatorial structure of formal languages; models for natural computation; attribute grammars.
- The theory of graphs and graph transformations. In particular the theory of node-rewriting graph grammars, hypergraph grammars, the logical description of graph transformations, and the hierarchical decomposition of graphs using 2-structures.
- The theory of concurrent processes. In particular Petri nets, traces, vector controlled concurrent systems, transition systems, and the application of Petri nets to model object oriented systems.