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.doc.ic.ac.uk/~scd/

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

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: 3–24.

External links

This article is issued from Wikipedia - version of the Sunday, April 17, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.