Write a Blog >>
FormaliSE 2021
Tue 18 - Fri 21 May 2021
co-located with ICSE 2021
Stefano Zacchiroli

Registered user since Tue 5 Mar 2019

Name:Stefano Zacchiroli
Bio:

Stefano Zacchiroli is Associate Professor of Computer Science at Université de Paris on leave at Inria. His research interests span formal methods, software preservation, and Free/Open Source Software engineering. He is co-founder and current CTO of the Software Heritage project. He is an official member of the Debian Project since 2001, where he was elected to serve as Debian Project Leader for 3 terms in a row over the period 2010-2013. He is a former Board Director of the Open Source Initiative (OSI) and recipient of the 2015 O’Reilly Open Source Award.

Country:France
Affiliation:Université de Paris and Inria
Personal website: https://upsilon.cc/~zack
Research interests:software engineering, free and open source software, digital preservation, formal methods

Contributions

Show activities from other conferences

ICSE 2021-profile
View general profile