Scholar
Roberto Di Cosmo
Google Scholar ID: yCwXGPQAAAAJ
Professor of Computer Science, University Paris Diderot
Theoretical computer science
parallel programming
functional programming
free software
formal methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
3,757
H-index
36
i10-index
82
Publications
20
Co-authors
14
list available
Co-authors
9 total
Stefano Zacchiroli
LTCI, Télécom Paris, Polytechnique Institute of Paris, France
Xavier Leroy
Collège de France
Gianluigi Zavattaro
Professor in Computer Science, University of Bologna
Dale Miller
Inria-Saclay and LIX, Ecole Polytechnique
Patrizio Pelliccione
Director of the CS area and Prof. in Software Engineering at Gran Sasso Science Institute (GSSI)
Davide Di Ruscio
Professor, University of L'Aquila (Italy)
Alfonso Pierantonio
Full Professor of Computer Science, Università degli Studi dell'Aquila
Tova Milo
Professor of Computer Science, Tel Aviv University
