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.