Simone Martini
dates de séjour
discipline
Fonction d’origine
Institution d’origine
pays d'origine
projet de recherche
UNE HISTOIRE CONCEPTUELLE DES LANGAGES DE PROGRAMMATION
Une Histoire conceptuelle des langages des programmations se veut un récit cohérent de comment certaines notions fondamentales des langages de programmation ont été introduites, comment leur sémantique a été modifiée au cours des années, quelles constructions linguistiques ont été utilisées pour les exprimer dans des langages spécifiques. Cette évolution s'est produite dans l’interaction entre l’informatique et les mathématiques, notamment la logique mathématique (et la théorie des épreuves en particulier). Mais, contrairement à ce qu’on croit, une liaison explicite entre la logique mathématique et le dessein de langages de programmation n’apparaît que dans les années 1960. Le but du projet est d’étudier ces phénomènes, avec une méthode qui utilise au même temps l’informatique, l’histoire et la philosophie des sciences. Un volet du projet réfléchira aussi sur le concept de « programme », en cherchant d ‘appliquer ici la notion d’ « inscription » selon Bruno Latour. L'objectif à long terme du projet est que cette histoire conceptuelle des langages de programmation devienne un modèle pour une réflexion épistémologique plus générale sur l’informatique. Cette reconstruction sera utile aussi pour une compréhension plus consciente de la « révolution numérique » : à une époque où l’informatique est un concept incontournable pour façonner le monde, les réflexions sociales et philosophiques sont nécessaires pour nous aider dans la compréhension des limites et des possibilités de cette « révolution ».
biographie
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.
