Members – Publications

This team organizes its works around three main research areas:

This topic focuses on

1. definability in first order and monadic second order logic theories,
2. decidability of first-order theories of structures, and
3. study of maximality of decidable logical structures.

The aim of this axis is to characterize different models of computation as insertion/deletion systems, cellular automata, abstract state machines and membrane systems, in terms of expressiveness power, complexity and degree of chaos.

This axis focuses on

1. type theory and proof theory in imperative programming languages,
2. the formal definition of the notions of algorithm (and step-by-step simulation), and
3. the development of programming languages for spatial computing.