Sophia Chloe Drossopoulou is a computer scientist

Computer science

Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...

, currently working at Imperial College London

Imperial College London

Imperial College London is a public research university located in London, United Kingdom, specialising in science, engineering, business and medicine...

, where she is Professor in Programming Languages. She earned her Ph.D.

Doctor of Philosophy

Doctor of Philosophy, abbreviated as Ph.D., PhD, D.Phil., or DPhil , in English-speaking countries, is a postgraduate academic degree awarded by universities...

 from the University of Karlsruhe.

Her research interests are mainly in formal methods for programming languages; her work is notable for a proof of the soundness of the Java

Java (programming language)

Java is a programming language originally developed by James Gosling at Sun Microsystems and released in 1995 as a core component of Sun Microsystems' Java platform. The language derives much of its syntax from C and C++ but has a simpler object model and fewer low-level facilities...

 programming language.

Her first Ph.D. student was Diomidis Spinellis

Diomidis Spinellis

Diomidis D. Spinellis is a Greek computer science academic and author of the books Code Reading and Code Quality.Spinellis holds an MEng degree in Software Engineering and a Ph.D. in Computer Science both from Imperial College London...

. She is the daughter of the author Athena Cacouris (Greek

Greek language

Greek is an independent branch of the Indo-European family of languages. Native to the southern Balkans, it has the longest documented history of any Indo-European language, spanning 34 centuries of written records. Its writing system has been the Greek alphabet for the majority of its history;...

: Αθηνά Κακούρη).

External links

• Drossopoulou's web pages at Imperial