Facundo Carreiro's carries out research into fixpoint logics, a terms used to refer to any logic that can encode some type of recursion, iteration or repetition. His main objective is to systematically identify several important logics as precise fragments of other well known logics. To accomplish this task, he develops automata-theoretic tools to analyse these fragments.
F.M. Carreiro: Fragments of Fixpoint Logics. Automata and Expressiveness.
Prof. Y. Venema
This event is open to the public.