My main job is doing research (and teaching) at the LTCI laboratory of Télécom Paris, part of the Polytechnic Institute of Paris, as a member of the ACES team. My current and not-so current research interests are summarized below, a list of my publications is available from a separate page.

research interests

My current research interests span digital commons, open source software engineering, computer security, and the software supply chain. Much of this work is carried out in the context of Software Heritage, the largest public archive of software source code, which I co-founded and where I serve as Chief Scientific Officer.

In the past I've also worked on:

• free software and how formal methods can be applied to address the complexity of the scenarios brought by the open source development model, in particular the upgrade problem of packages in GNU/Linux distributions (within the mancoosi research project)

• type theory and in particular proof assistants / interactive theorem provers. I've been one of the architect of the Matita proof assistant; both my master and Ph.D. theses have been about Matita. I've also worked on distributed digital libraries of formalized mathematics, such as the HELM library

• web technologies, in particular: type systems for typing XML trees (as a member of W3C's XML Schema working group) and document validation, overlapping markup, web collaboration (as in wikis) and its interaction with content constraints

publications

A list of my publications is available on a dedicated page.

committees

I've been involved in a number of scientific committees.