Sophia Drossopoulou

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.

Sophia Drossopoulou
Born
Athens
Alma materKarlsruhe Institute of Technology
Scientific career
FieldsProgramming Languages
InstitutionsImperial College London
ThesisVerschmelzen von Aktionen in Zerteilern (1982)
Doctoral advisorGerhard Goos
Peter Deussen[1]
Doctoral studentsDiomidis Spinellis
Websitewww.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 author Athena Cacouris (Greek: Αθηνά Κακούρη). She currently teaches a first year course to Computing and Joint Mathematics and Computer Science undergraduates at Imperial College London called ‘Reasoning about Programs’.

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 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.
gollark: <@738361430763372703> This being cryptography, you realize that it would be fairly easy to construct flaws which can't practically be exploited by anyone but you?
gollark: I will not. You will have to link it.
gollark: <@738361430763372703> Explain ALL details of the "encryption event". You have 5 seconds.
gollark: Use Ackermann's function.
gollark: Or that you talk about how terrible the server is and how you're leaving, but about seven hours later come back and begin overhauling the rules for strictness on dubious grounds.

References
  1. Sophia Drossopoulou at the Mathematics Genealogy Project
  2. Drossopoulou, Sophia; Eisenbach, Susan; Khurshid, Sarfraz (1999). "Is the Java Type System Sound?" (PDF). Theory and Practice of Object Systems. 5: 3–24. CiteSeerX 10.1.1.30.2068. doi:10.1002/(SICI)1096-9942(199901/03)5:1<3::AID-TAPO2>3.0.CO;2-T.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.