Simone Martini

Simone Martini est professeur d’Informatique à l’Alma Mater Studiorum-Università di Bologna, où il a servi comme directeur du département d’Informatique jusqu’en mai 2018. Il a obtenu son doctorat en Informatique à l’Université de Pise, en 1988. Il a enseigné auprès de l’université de Pisa et Udine, avant d’intégrer en 2002 l’Université de Bologne. Il a été chercheur invité par le Systems Research Center de la Digital Equipment Corporation à Palo Alto, la Stanford University, l’École normale supérieure à Paris, l’Université Paris 13, l’University of California à Santa Cruz. Il a dirigé plusieurs doctorants, qui ont poursuivi leurs carrières dans l’industrie ou le monde académique (professeurs, consultants, membres du Parlement, etc.). Sa recherche relève surtout des fondements de l’informatique, notamment les fondements mathématiques des langages de programmation et des processus de calcul. Il a utilisé dans sa recherche des techniques de la logique mathématique et a aussi développé de nouveaux systèmes formels pour la théorie des épreuves des certaines logiques modales et pour la logique linéaire. Il a donné des contributions à la « complexité computationnelle implicite », un domaine de recherche qui étudie et caractérise les phénomènes de complexité avec des restrictions sur le langage (et non avec de bornes extérieures sur les ressources utilisées.) Ces dernières années, il a participé à la communauté de recherche « Histoire et Philosophie de la Computation », qui considère que la collaboration entre chercheurs en informatique, en histoire et en philosophie de la computation peut contribuer à la maturité de l’informatique comme domaine général.