Scholar
Sophia Drossopoulou
Google Scholar ID: 5g4VizIAAAAJ
Professor, Imperial College London
Programming Languages
Program Verification
Compilers
Type Systems
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
839
H-index
15
i10-index
24
Publications
20
Co-authors
19
list available
Co-authors
11 total
Susan Eisenbach
Professor Emeritus of Computing, Imperial College London
Ferruccio Damiani
Full Professor of Compurer Science, University of Torino
Mariangiola Dezani-Ciancaglini
Emeritus Professor of Computer Science, Torino University
Peter Müller
ETH Zurich
Davide Ancona
Genova
Nobuko Yoshida
Department of Computer Science, University of Oxford
Alexander J. Summers
The University of British Columbia
Werner Dietl
Electrical and Computer Engineering, University of Waterloo
