Matches in DBpedia 2014 for { ?s ?p 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 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 programming language.Her first Ph.D. student was Diomidis Spinellis. She is the daughter of the author Athena Cacouris (Greek: Αθηνά Κακούρη).. }
Showing items 1 to 1 of
1
with 100 items per page.
- Sophia_Drossopoulou abstract "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 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 programming language.Her first Ph.D. student was Diomidis Spinellis. She is the daughter of the author Athena Cacouris (Greek: Αθηνά Κακούρη).".