Sophia Drossopoulou
Professor at Imperial College London
Schools
- Imperial College London
Links
Biography
Imperial College London
Sophia Drossopoulou is a computer scientist, currently working at Imperial College London, where she is Professor in Programming Languages. She earned her Ph.D. from the Karlsruhe Institute of Technology.
Her research interests are mainly in formal methods for programming languages; her work is notable for a proof of the soundness of the Java programming language.
Her first Ph.D. student was Diomidis Spinellis. She is the daughter of the lawyer and politician Antonis Drossopoulos, and of the author Athena Cacouris (Greek: Αθηνά Κακούρη). She currently teaches a first year course to Computing and Joint Mathematics and Computer Science undergraduates at Imperial College London called ‘Reasoning about Programs’.
Companies
- Professor Imperial College London
- Software Engineer at Meta Meta (2022 — 2023)
- Engineering Manager Meta (2020 — 2022)
- Professor Imperial College London (2008 — 2020)
Selected Publications
Journal Articles
- Dietl W, Drossopoulou S, Mueller P, 2011, Separating Ownership Topology and Encapsulation with Generic Universe Types, ACM Transactions on Programming Languages and Systems, Vol:33, ISSN:0164-0925
- Dezani-Ciancaglini M, Drossopoulou S, Mostrous D, et al., 2009, Objects and session types, Information and Computation, Vol:207, ISSN:0890-5401, Pages:595-641
- Giannini P, Damiani F, Giachino E, et al., 2008, A type safe state abstraction for coordination in Java -like languages, Acta Informatica, ISSN:0001-5903
- Müller P, Drossopoulou S, Cunningham D, et al., 2008, Universe Types for Topology and Encapsulation, Vol:5382, Pages:72-112
- Anderson, C., Drossopoulou, S., 2003, BabyJ: from object based to class based programming via types, Electronic Notes in Theoretical Computer Science, Vol:82, ISSN:1571-0661, Pages:1-29
- Drossopoulou S, Damiani F, Dezani-Ciancaglini M, et al., 2002, More dynamic object re-classification: FickleII, ACM Transactions on Programming Languages and Systems, Vol:24, ISSN:0164-0925, Pages:153-191
Videos
Sophia Drossopoulou - Holistic specifications for robust code | Code Mesh LDN 18
Sophia Drossopoulou - Pony for Safe, Fast, concurrent programs - Codemesh 2017
Sophia Drossopoulou: Pony: Actors and Objects (Lecture 1/2)
Read about executive education
Other experts
Popular Courses
Looking for an expert?
Contact us and we'll find the best option for you.