Digiteo - Recherche en sciences et technologies de l'information

Moreno Falaschi est professeur d'informatique à l'université de Sienne en Italie. Il enseigne aux premiers cycles et aux doctorants. Le logiciel est son champ d'action: il mène des recherches sur les nouveaux outils basés sur des méthodes formelles pour développer et optimiser des logiciels sûrs et sécurisés. Il travaille avec les langages déclaratifs : des langages de programmation modernes axés sur les fonctions, la logique et l'accès simultané.
Selon lui, "l'objectif est de développer des logiciels pour les applications en temps réel, c'est à dire des applications logicielles cruciales pour contrôler un avion ou une centrale nucléaire, pour la sécurité du Web ou pour des applications biologiques, par exemple."

Chercheur invité au sein de Digiteo d'octobre à décembre 2008, en collaboration avec l'Inria, Moreno Falaschi était accueilli au laboratoire d'informatique de l'École Polytechnique (LIX). Il explique que sa collaboration avec l'Inria/LIX a débuté après des discussions avec les chercheurs de l'Inria. Selon lui, "certains des meilleurs spécialistes mondiaux de mon domaine travaillent ici, c'est pour moi une très bonne raison pour essayer de bénéficier de leurs connaissances et collaborer avec eux."

Sa contribution consistait principalement à apporter son expertise du développement d'outils pour les langages déclaratifs basés sur des techniques formelles comme l'interprétation abstraite et la vérification des modèles. Sa contribution formelle s'est située plus particulièrement dans le domaine des langages orientés contraintes "timed concurrent" utilisés dans les applications de sûreté, de sécurité et mobiles. Il ajoute que "les chercheurs ici ont une connaissance très solide de ces langages ainsi que de la sécurité et la mobilité".

Pendant sa visite au LIX, Moreno Falaschi a tout particulièrement travaillé avec Catuscia Palamidessi, la responsable du groupe, ainsi qu'avec Frank Valencia et l'un de ses doctorants, Carlos Olarte. Il a également tiré profit de discussions avec d'autres doctorants et post-doctorants comme Simon Kramer, le professeur Dale Miller et d'autres visiteurs comme Srecko Brlek de l'Université du Québec à Montréal (UQAM). Moreno Falaschi a participé à plusieurs séminaires de recherche de haut niveau organisés par les groupes de recherches de l'Inria au LIX. Il a rédigé un article en collaboration avec Catuscia Palamidessi et Carlos Olarte, soumis à une grande conférence internationale en informatique.

Le "programme invités" lui a beaucoup apporté: "Le personnel administratif m'a beaucoup soutenu. Il était facile de collaborer avec les chercheurs de ce laboratoire : "Tout le monde est très sympathique et très fort au niveau scientifique""tout le monde est très sympathique et très fort au niveau scientifique".

Les conclusions de ce travail en commun sont très positives. Comme il le dit, "j'ai vécu une belle expérience qui m'a donné l'occasion d'apprendre un peu de français. Nous avons mis en place le cadre d'une excellente collaboration scientifique qui se poursuivra. Nous avons également discuté d'une proposition de projet commun au niveau européen, ainsi que d'une forme de collaboration scientifique entre l'Italie et la France". Moreno Falaschi voudrait également que les chercheurs qu'il a rencontrés lui rendent visite dans son université en Italie.

Programme Invités 2008

Programme Invités 2009