Team “Logic, Computation and Programming”
This topic focuses on
definability in first order and monadic second order logic theories,
decidability of first-order theories of structures, and
study of maximality of decidable logical structures.
Model of Computation
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
type theory and proof theory in imperative programming languages,
the formal definition of the notions of algorithm (and step-by-step simulation), and
the development of programming languages for spatial computing.