Sophia Drossopoulou (Greek: Σοφία Δροσοπούλου) is a computer scientist, currently working at Imperial College London, where she is Professor in Programming Languages.
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.
She is the daughter of the lawyer and politician Antonis Drossopoulos, and of the author Athena Cacouris (Greek: Αθηνά Κακούρη).
She is a lecturer for undergraduate students studying Computing and Joint Mathematics and Computing at Imperial College London.
[3] In 2023, she was awarded the Dahl–Nygaard Prize for her research in the field of Programming Languages.