My research interests are interdisciplinary. I'm working for understanding how formal methods, especially those from concurrency theory, can contribute to challenge the current thinking in IT for the Big Data question.
I believe that EATCS can play a central role in the incoming fifth revolution in IT: the era of Big Data. EATCS can shape the research of Big Data and HPC towards Models of Computation for Computational Life Science exploiting and re-thinking concurrency theory, automata theory, languages theory and theory of algorithms in a global setting, the one that can be used to face the big data challenge. My recent experience in coordinating the EU-FET project TOPDRIM allowed me to learn the potential of computational topology and the great perspective given by its application to construct a new methodology that can support the integration of in-wet/in-web/in-net observations, which are data, with knowledge already formalised in models, and let them to evolve in a self-adaptive manner with respect to the new interaction maps (the new knowledge) hopefully extracted from the data collection.
I think that European Commission must recognise more concretely the fundamental role that European Theoretical Computer Science had in the last century of computation. It is my believe that many of our theoretical computer scientists are currently working to face similar challenges as it was during the thirties. Thus there has to be a focused and stable economic support for this basic research and I believe that great effort is necessary from EATCS together with the European Commission for the construction of a FET Flagship for Theoretical Computer Science.
Moreover, I'm totally convinced that science must be accessible to everyone without discrimination, therefore I will support and contribute to any initiative for an open-access journal of the association.
I will put all my effort in collaborating with the other members of EATCS to maintain the excellent reputation and widen its recognition.
More about me here