About: Sophia Drossopoulou

An Entity of Type: animal, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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.

Property	Value
dbo: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 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’. (en)
dbo:almaMater	dbr:Karlsruhe_Institute_of_Technology
dbo:birthPlace	dbr:Athens
dbo:doctoralStudent	dbr:Diomidis_Spinellis
dbo:institution	dbr:Imperial_College_London
dbo:originalName	Σοφία Δροσοπούλου (en)
dbo:wikiPageExternalLink	http://thesis.ekt.gr/thesisBookReader/id/4550%23page/1/mode/2up http://www.doc.ic.ac.uk/~scd/
dbo:wikiPageID	20794293 (xsd:integer)
dbo:wikiPageLength	3829 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1105480946 (xsd:integer)
dbo:wikiPageWikiLink	dbc:Living_people dbc:Year_of_birth_missing_(living_people) dbc:Greek_women_computer_scientists dbr:Computer_scientist dbc:Greek_computer_scientists dbr:Doctor_of_Philosophy dbr:Lecture_Notes_in_Computer_Science dbr:Java_(programming_language) dbr:Athens dbc:Academics_of_Imperial_College_London dbr:Karlsruhe_Institute_of_Technology dbr:Diomidis_Spinellis dbr:Springer_Science+Business_Media dbr:Imperial_College_London
dbp:almaMater	dbr:Karlsruhe_Institute_of_Technology
dbp:birthPlace	dbr:Athens
dbp:doctoralAdvisor	Gerhard Goos (en) Peter Deussen (en)
dbp:doctoralStudents	dbr:Diomidis_Spinellis
dbp:fields	Programming Languages (en)
dbp:name	Sophia Drossopoulou (en)
dbp:nativeName	Σοφία Δροσοπούλου (en)
dbp:nativeNameLang	gr (en)
dbp:thesisTitle	Verschmelzen von Aktionen in Zerteilern (en)
dbp:thesisUrl	http://thesis.ekt.gr/thesisBookReader/id/4550%23page/1/mode/2up
dbp:thesisYear	1982 (xsd:integer)
dbp:website	http://www.doc.ic.ac.uk/~scd/
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Cite_book dbt:Cite_conference dbt:Cite_journal dbt:Cite_web dbt:Reflist dbt:Short_description dbt:Infobox_scientist
dbp:workplaces	dbr:Imperial_College_London
dcterms:subject	dbc:Living_people dbc:Year_of_birth_missing_(living_people) dbc:Greek_women_computer_scientists dbc:Greek_computer_scientists dbc:Academics_of_Imperial_College_London
gold:hypernym	dbr:Scientist
schema:sameAs	http://viaf.org/viaf/64598271
rdf:type	owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Species schema:Person yago:WikicatLivingPeople yago:WikicatWomenComputerScientists wikidata:Q901 yago:Academician109759069 yago:Adult109605289 yago:CausalAgent100007347 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:Educator110045713 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:Professional110480253 yago:WikicatGreekComputerScientists yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scientist110560637 yago:Whole100003553 yago:WikicatAcademicsOfImperialCollegeLondon
rdfs:comment	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. (en)
rdfs:label	Sophia Drossopoulou (en)
owl:sameAs	freebase:Sophia Drossopoulou yago-res:Sophia Drossopoulou https://dblp.org/pid/d/SophiaDrossopoulou http://viaf.org/viaf/2457149108679068780007 https://orcid.org/0000-0002-1993-1142 wikidata:Sophia Drossopoulou https://global.dbpedia.org/id/4TRhi
prov:wasDerivedFrom	wikipedia-en:Sophia_Drossopoulou?oldid=1105480946&ns=0
foaf:homepage	http://www.doc.ic.ac.uk/~scd/
foaf:isPrimaryTopicOf	wikipedia-en:Sophia_Drossopoulou
foaf:name	Sophia Drossopoulou (en)
is dbo:wikiPageWikiLink of	dbr:Department_of_Computing,_Imperial_College_London dbr:Index_of_women_scientists_articles dbr:List_of_programming_language_researchers dbr:Diomidis_Spinellis dbr:Sophia_(given_name) dbr:IFIP_Working_Group_2.3
is foaf:primaryTopic of	wikipedia-en:Sophia_Drossopoulou