Friday July. 4th, h 11:00 - Alessandro Facchini, On modal fixpoint logics: where logic meets automata and games
by Announcements of talks＠IDSIA
TITLE: On modal fixpoint logics: where logic meets
automata and games
SPEAKER: Prof. Alessandro Facchini (Informatic Institute,
Warsaw, Polland)
WHEN: Friday, July 4th, 11:00 am
WHERE: IDSIA Meeting room - Galleria 1, Manno
ABSTRACT:
Modal fixpoint logics constitute a very lively and
interesting research field. The reasons of this success
are twofold. On the one hand computer scientists
extensively use these formalisms to capture the relevant
formal aspects of the system they want to build, as it is
the case with LTL, CTL and PDL in software verification,
or with conditional and regular XPath in database theory.
On the other hand, the mathematical theory of modal
fixpoint logics has unveiled deep and rich connections
with fields as diverse as automata theory, topology and
game theory. But despite this success story, the actual
situation is paradoxical: modal fixpoints are used
everywhere in computer science, but the working computer
scientist is still lacking a clear mathematical
understanding of them.
In this talk I present the content of my present research
program, whose goal is to make a step towards the
understanding of the mathematical landscape behind modal
fixpoints by studying expressiveness and structural
problems of this formalisms, in particular of the modal
mu-calculus. Some of the first obtained results have been
published at LICS 2013, CSL-LICS 2014 and CiE 2014.
Short bio:
Alessandro Facchini is assistant professor at the
Informatics Institute of the University of Warsaw, where
is leading a Homing Plus project on the expressiveness of
fixpoint logics, co-financed by the FNP and the European
Union. After studying logic, linguistics and mathematics
at the Universities of Neuchâtel and Barcelona, he
obtained a PhD in Computer Science, joint from the
Universities of Bordeaux 1 (LaBRI) and Lausanne. For the
results obtained during his doctoral studies, he was
awarded of the Paul Bernays Award 2011. He has been
research associate at the Informatics Institute of the
University of Amsterdam (EU FP7 project), and visiting
researcher at the Jack Baskin School of Engineering,
University of California Santa Cruz, at the ILLC,
University of Amsterdam, and at the Laboratory for
Foundations of Computer Science, University of Edinburgh.
He is also research associate at the UMR7597,
CNRS-University Paris 7.
10 years, 6 months
- 1
- 0
- ← Newer
- 1
- Older →