Digiteo - Recherche en sciences et technologies de l'information

Moreno Falaschi is professor of computer science at the University of Siena in Italy. He works in software, studying new tools based on formal methods for developing and optimizing safe and secure software. He works with declarative languages, which means modern programming languages based on functions, logic and concurrency.
As he says, "the aim is to develop software for real-time applications, which means critical software applications for controlling airplanes or nuclear platforms, for security on the web and for biological applications, for instance".

Moreno Falaschi was a "Guest Researcher" at Digiteo from October to December 2008, in collaboration with Inria, visiting LIX labs at École Polytechnique. He explains that the collaboration with Inria/LIX took place after discussions with Inria researchers and made the development of joint work possible. According to him, "some of the best people in the world in my field are here, so this is certainly a good reason for trying to learn from, and collaborate with them".

His contribution was essentially to be an "expert" in the development of tools for declarative languages based on formal techniques, such as abstract interpretation and model checking. His formal contribution was in particular focus on timed concurrent constraint languages which are used for safety, security and mobile applications. He adds that "the people here have a very strong knowledge of these languages and about security and mobility".

During his visit to LIX, Moreno Falaschi worked especially with Catuscia Palamidessi, head of the group, Frank Valencia and one of their PhD students, Carlos Olarte. He also benefited from discussions with other Ph.D. students and post-docs, such as Simon Kramer, Professor Dale Miller, and with other visitors, such as Srecko Brlek, from the University of Québec, in Montreal. Moreno Falaschi was able attend several high level research seminars organized by the Inria research groups at LIX. He wrote a research article in collaboration with Catuscia Palamidessi and Carlos Olarte, which is now ready for submission to a major international computer science conference.

The "Guest Researchers program" offered him a great deal: "There was very good support from the administrative staff. It was easy to collaborate with the people here since they are very friendly and very strong scientifically""The people here are very friendly and very strong scientifically".

The final results of this joint work are very positive. As he says, "it was also a great personal life experience, it gave me the chance to learn a little bit of French. We established a framework for extremely good scientific collaboration, which will be on-going. We also discussed a proposal for a possible joint project at European level, as well as some form of bilateral collaboration between Italy and France". Moreno Falaschi would also like the researchers he met to visit him at his own institution in Italy.

Guest researchers 2008

Guest researchers 2009