Sophia Drossopoulou
Sophia Drossopoulou | |
---|---|
Native name | Σοφία Δροσοπούλου |
Born | Athens |
Fields | Programming Languages |
Institutions | Imperial College London |
Alma mater | Karlsruhe Institute of Technology |
Thesis | Verschmelzen von Aktionen in Zerteilern (1982) |
Doctoral advisor |
Gerhard Goos Peter Deussen[1] |
Doctoral students | Diomidis Spinellis |
Website www |
Sophia Chloe 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.
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 author Athena Cacouris (Greek: Αθηνά Κακούρη).
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 139. Springer Science+Business Media. ISBN 0-387-11571-4.
- Clarke, D; Drossopoulou, S (2002). "Ownership, encapsulation and the disjointness of type and effect". ACM SIGPLAN Notices (ACM SIGPLAN) 37 (11): 292–310.
- 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.
References
- ↑ Sophia Drossopoulou at the Mathematics Genealogy Project
- ↑ Drossopoulou, Sophia; Eisenbach, Susan; Khurshid, Sarfraz (1999). "Is the Java Type System Sound?" (PDF). Theory and Practice of Object Systems: 3–24.
External links
- "Sophia Drossopoulou – Professor of Programming Languages". Imperial. Retrieved 2016-02-11.
|
This article is issued from Wikipedia - version of the Thursday, February 11, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.