Giulio Guerrieri renforce l’équipe de recherche LIRICA du LIS

Sa thématique de recherche est centrée sur la correspondance de Curry-Howard entre preuves logiques et programmes informatiques. Giulio Guerrieri l'utilise comme point de départ pour développer des outils à la fois sémantiques et syntaxiques. D’un côté, les outils mathématiques fournis par la sémantique dénotationnelle, la théorie de la réécriture ou la théorie des types permettent d’étudier les propriétés des programmes/preuves de manière abstraite. De l’autre côté, ces outils mathématiques inspirent des manières pour enrichir la syntaxe et l’expressivité des logiques/langages de programmation. Giulio Guerrieri a passé de 2010 à 2013 un doctorat en informatique théorique à l’Université Paris Diderot – Paris 7, en co-tutelle avec l’Università Roma Tre de Rome. Il a ensuite effectué plusieurs post-docs en Europe, à Paris, Marseille, Oxford (Royaume Uni), Bologna (Italie), Bath (Royaume Uni). Il a été également chercheur auprès de l’équipe de langages de programmation du centre de recherche de Huawei à Edinburgh (Royaume Uni).