Sophia Drossopoulou
http://dbpedia.org/resource/Sophia_Drossopoulou an entity of type: Thing
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.
rdf:langString
rdf:langString
Sophia Drossopoulou
rdf:langString
Sophia Drossopoulou
rdf:langString
Sophia Drossopoulou
xsd:integer
20794293
xsd:integer
1105480946
rdf:langString
Verschmelzen von Aktionen in Zerteilern
xsd:integer
1982
rdf:langString
Programming Languages
rdf:langString
Σοφία Δροσοπούλου
rdf:langString
gr
rdf:langString
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. 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’.
rdf:langString
Gerhard Goos
rdf:langString
Peter Deussen
xsd:nonNegativeInteger
3829
rdf:langString
Σοφία Δροσοπούλου