Roberto di Cosmo

Roberto di Cosmo is an Italian computer scientist, professor, and advocate for software freedom known for contributions to programming language theory, software preservation, and open source promotion. He has held academic positions and founded initiatives linking research, industry, and cultural heritage, engaging with institutions across Europe and internationally. His work connects theoretical computer science to practical issues affecting digital archives, intellectual property, and computing education.

Early life and education

Born in Rome, Italy, di Cosmo studied at the Scuola Normale Superiore and the University of Pisa, where he completed degrees in computer science and related fields. He trained in theoretical aspects of programming languages and compilers under mentors connected to Italian and European research networks, interacting with researchers from institutions like INRIA, CNRS, and the École normale supérieure. During his formative years he engaged with projects and conferences associated with ACM, IEEE, IFIP, and European science programs such as the Framework Programme (EU), establishing ties with laboratories in Paris, Pisa, and Cambridge.

Academic career and research

Di Cosmo served as a professor and researcher at universities including the University of Pisa and affiliations with the École normale supérieure (Paris) and research centers such as INRIA and CNRS. His research spans programming language theory, compiler construction, formal methods, and software preservation, collaborating with colleagues from institutions like Massachusetts Institute of Technology, University of Cambridge, University of Oxford, École Polytechnique, and EPFL. He contributed to projects funded by the European Research Council, the European Commission, and national research agencies such as the ANR and CNR. Di Cosmo worked with fellow scientists from labs including LIP6, Laboratoire d'Informatique de Paris 6, SISSA, Scuola Superiore Sant'Anna, and the University of Bologna. His publications appeared in venues like POPL, ICFP, SOSP, PLDI, and journals associated with Springer, Elsevier, and ACM Digital Library. Collaborative networks included ties to researchers at Princeton University, Stanford University, University of California, Berkeley, ETH Zurich, TU Berlin, Imperial College London, and Karlsruhe Institute of Technology.

Role in open source and software freedom

An outspoken advocate for free software, di Cosmo founded and co-founded initiatives promoting software preservation and openness, working alongside organizations such as the Free Software Foundation, the Free Software Foundation Europe, and the Open Source Initiative. He engaged with communities including Debian, GNOME, KDE, Apache Software Foundation, and Mozilla Foundation, and collaborated with projects like the Linux kernel, GNU Project, Python Software Foundation, and GitHub-hosted ecosystems. Di Cosmo addressed policy and legal dimensions involving institutions such as the European Parliament, the Council of Europe, and national ministries, interfacing with stakeholders from Creative Commons, Open Knowledge Foundation, Wikimedia Foundation, and standard bodies like ISO and W3C. He participated in public debates with actors such as Richard Stallman, contributors from Red Hat, representatives from Microsoft, and members of the European Commission working on digital policy, advocating for preservation initiatives connected to archives at Biblioteca Nazionale Centrale di Firenze and museums like the Musée des Arts et Métiers.

Entrepreneurial and institutional initiatives

Di Cosmo founded or co-founded organizations and startups linking research to preservation and industry, collaborating with incubators and technology transfer offices at institutions such as Inria Transfert, Fondazione Istituto Italiano di Tecnologia, CINECA, and regional innovation agencies like Toscana Innovazione and Paris&Co. He launched platforms and labs engaging with cultural institutions including the Biblioteca Apostolica Vaticana, the National Library of France (BnF), and universities participating in consortia such as EUA and EIT Digital. His initiatives connected with companies and foundations including Google, Microsoft Research, IBM Research, Intel Labs, Oracle Corporation, Atos, Thales, Capgemini, and Dassault Systèmes for technology transfer, digital archiving, and open collaboration. Di Cosmo worked with funding and governance partners like the European Investment Bank, the Horizon 2020 program, regional governments of Tuscany and Île-de-France, and philanthropic entities such as the Fondation de France.

Awards and recognition

Roberto di Cosmo received recognition from academic and civic institutions for his scientific and advocacy work, engaging with award bodies such as the European Research Council, national academies like the Accademia Nazionale dei Lincei, and cultural honors from regional governments. He has been invited to lecture at venues including Collège de France, Royal Society, National Academy of Sciences (US), Academia Europaea, Centre national des arts et métiers, and has participated in panels of juries for prizes linked to ACM, IEEE Computer Society, and European innovation awards. His contributions have been cited in policy reports by the Council of the European Union, the OECD, and UNESCO, and acknowledged by organizations such as the Free Software Foundation Europe and the Open Source Initiative.

Category:Italian computer scientists Category:Free software activists Category:University of Pisa faculty