Sophia Drossopoulou

Sophia Drossopoulou (Greek: Σοφία Δροσοπούλου) is a Greek 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.

Sophia Drossopoulou
Σοφία Δροσοπούλου
Born	Athens, Greece
Alma mater	Karlsruhe Institute of Technology
Scientific career
Fields	Programming languages
Institutions	Imperial College London
Thesis	Verschmelzen von Aktionen in Zerteilern (1982)
Doctoral advisor	Gerhard Goos Peter Deussen[1]
Doctoral students	Diomidis Spinellis
Website	www.doc.ic.ac.uk/~scd/

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.^[2]

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 (Αθηνά Κακούρη).^{[citation needed]}

She is a lecturer for undergraduate students studying Computing and Joint Mathematics and Computer Science at Imperial College London. She teaches courses on "Logic & Reasoning" to first-year students and "Models of Computation" to second-year students.^[3]

In 2023, she was awarded the Dahl–Nygaard Prize for her research in the field of programming languages.^[4]

Bibliography

• Uhl, Juergen; Drossopoulou, Sophia; Persch, Guido; Goos, Gerhard; Dausmann, Manfred; Winterstein, Georg; Kirchgaessner, Walter (1982). An Attribute Grammar for the Semantic Analysis of Ada. Lecture Notes in Computer Science. Vol. 139. Springer Science+Business Media. ISBN 978-0-387-11571-9.
• Clarke, D; Drossopoulou, S (2002). "Ownership, encapsulation and the disjointness of type and effect". ACM SIGPLAN Notices. 37 (11): 292–310. doi:10.1145/583854.582447.
• Sophia Drossopoulou, ed. (2008). Lecture Notes in Computer Science. Programming Languages and Systems, 17th European Symposium on Programming (ESOP) (held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008). Springer. ISBN 978-3-540-78738-9.
• Sophia Drossopoulou, ed. (2009). Lecture Notes in Computer Science. ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6–10, 2009. Springer. ISBN 978-3-642-03012-3.