Sophia Drossopoulou
Greek computer scientist / From Wikipedia, the free encyclopedia
Sophia Drossopoulou (Greek: Σοφία Δροσοπούλου) 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.
Sophia Drossopoulou | |
---|---|
Σοφία Δροσοπούλου | |
Born | |
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 |
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 (Greek: Αθηνά Κακούρη).
She is a lecturer for undergraduate students studying Computing and Joint Mathematics and Computing at Imperial College London. She teaches courses on "Logic & Reasoning" to first-year students and "Models of Computation" to second-year students.[3]