Sophia Drossopoulou Explained
| Sophia Drossopoulou |
| Native Name: | Σοφία Δροσοπούλου |
| Native Name Lang: | gr |
| Birth Place: | Athens |
| Fields: | Programming Languages |
| Workplaces: | Imperial College London |
| Alma Mater: | Karlsruhe Institute of Technology |
| Thesis Title: | Verschmelzen von Aktionen in Zerteilern |
| Thesis Url: | http://thesis.ekt.gr/thesisBookReader/id/4550#page/1/mode/2up |
| Thesis Year: | 1982 |
| Doctoral Advisor: | Gerhard Goos
Peter Deussen |
| Doctoral Students: | Diomidis Spinellis |
Sophia Drossopoulou (Greek, Modern (1453-);: Σοφία Δροσοπούλου) 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.[1]
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, Modern (1453-);: Αθηνά Κακούρη).
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.[2]
Bibliography
- Book: Uhl . Juergen . Drossopoulou . Sophia . Persch . Guido . Goos . Gerhard . Dausmann . Manfred . Winterstein . Georg . Kirchgaessner . Walter . 1982 . An Attribute Grammar for the Semantic Analysis of Ada . . 139 . . 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 . 10.1145/583854.582447.
- 2008 . 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) . Sophia Drossopoulou . Lecture Notes in Computer Science . Springer . 978-3-540-78738-9 .
- 2009 . ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6–10, 2009 . Sophia Drossopoulou . Lecture Notes in Computer Science . Springer . 978-3-642-03012-3 .
External links
Notes and References
- Drossopoulou . Sophia . Eisenbach . Susan . Khurshid . Sarfraz . 1999 . Is the Java Type System Sound? . Theory and Practice of Object Systems . 5 . 3–24 . 10.1002/(SICI)1096-9942(199901/03)5:1<3::AID-TAPO2>3.0.CO;2-T . 10.1.1.30.2068 .
- Web site: Teaching - Professor Sophia Drossopoulou . 2023-10-29 . www.imperial.ac.uk.
