| Birthplace
|
http://dbpedia.org/resource/Athens +
|
| http://dbpedia.org/ontology/abstract
|
Sophia Chloe Drossopoulou (Greek: Σοφία Δρ … 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’. London called ‘Reasoning about Programs’.
|
| http://dbpedia.org/ontology/almaMater
|
Karlsruhe Institute of Technology +
|
| http://dbpedia.org/ontology/doctoralStudent
|
http://dbpedia.org/resource/Diomidis_Spinellis +
|
| http://dbpedia.org/ontology/institution
|
http://dbpedia.org/resource/Imperial_College_London +
|
| http://dbpedia.org/ontology/originalName
|
Σοφία Δροσοπούλου
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.doc.ic.ac.uk/~scd/ +
, http://thesis.ekt.gr/thesisBookReader/id/4550%23page/1/mode/2up +
|
| http://dbpedia.org/ontology/wikiPageID
|
20794293
|
| http://dbpedia.org/ontology/wikiPageLength
|
3829
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1105480946
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Diomidis_Spinellis +
, http://dbpedia.org/resource/Imperial_College_London +
, http://dbpedia.org/resource/Category:Greek_women_computer_scientists +
, http://dbpedia.org/resource/Java_%28programming_language%29 +
, http://dbpedia.org/resource/Category:Living_people +
, Karlsruhe Institute of Technology +
, http://dbpedia.org/resource/Category:Academics_of_Imperial_College_London +
, http://dbpedia.org/resource/Doctor_of_Philosophy +
, http://dbpedia.org/resource/Computer_scientist +
, http://dbpedia.org/resource/Athens +
, http://dbpedia.org/resource/Category:Greek_computer_scientists +
, http://dbpedia.org/resource/Springer_Science%2BBusiness_Media +
, http://dbpedia.org/resource/Lecture_Notes_in_Computer_Science +
, http://dbpedia.org/resource/Category:Year_of_birth_missing_%28living_people%29 +
|
| http://dbpedia.org/property/almaMater
|
Karlsruhe Institute of Technology +
|
| http://dbpedia.org/property/birthPlace
|
http://dbpedia.org/resource/Athens +
|
| http://dbpedia.org/property/doctoralAdvisor
|
Gerhard Goos
, Peter Deussen
|
| http://dbpedia.org/property/doctoralStudents
|
http://dbpedia.org/resource/Diomidis_Spinellis +
|
| http://dbpedia.org/property/fields
|
Programming Languages
|
| http://dbpedia.org/property/name
|
Sophia Drossopoulou
|
| http://dbpedia.org/property/nativeName
|
Σοφία Δροσοπούλου
|
| http://dbpedia.org/property/nativeNameLang
|
gr
|
| http://dbpedia.org/property/thesisTitle
|
Verschmelzen von Aktionen in Zerteilern
|
| http://dbpedia.org/property/thesisUrl
|
http://thesis.ekt.gr/thesisBookReader/id/4550%23page/1/mode/2up +
|
| http://dbpedia.org/property/thesisYear
|
1982
|
| http://dbpedia.org/property/website
|
http://www.doc.ic.ac.uk/~scd/ +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Cite_book +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:Cite_journal +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Cite_web +
, http://dbpedia.org/resource/Template:Cite_conference +
|
| http://dbpedia.org/property/workplaces
|
http://dbpedia.org/resource/Imperial_College_London +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:Year_of_birth_missing_%28living_people%29 +
, http://dbpedia.org/resource/Category:Academics_of_Imperial_College_London +
, http://dbpedia.org/resource/Category:Greek_women_computer_scientists +
, http://dbpedia.org/resource/Category:Greek_computer_scientists +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Scientist +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/64598271 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Sophia_Drossopoulou?oldid=1105480946&ns=0 +
|
| http://xmlns.com/foaf/0.1/homepage
|
http://www.doc.ic.ac.uk/~scd/ +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Sophia_Drossopoulou +
|
| http://xmlns.com/foaf/0.1/name
|
Sophia Drossopoulou
|
| owl:sameAs |
http://rdf.freebase.com/ns/m.0554vbj +
, http://viaf.org/viaf/2457149108679068780007 +
, https://orcid.org/0000-0002-1993-1142 +
, http://yago-knowledge.org/resource/Sophia_Drossopoulou +
, http://www.wikidata.org/entity/Q4815312 +
, https://global.dbpedia.org/id/4TRhi +
, https://dblp.org/pid/d/SophiaDrossopoulou +
, http://dbpedia.org/resource/Sophia_Drossopoulou +
|
| rdf:type |
http://dbpedia.org/ontology/Eukaryote +
, http://schema.org/Person +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://dbpedia.org/ontology/Scientist +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/WikicatGreekComputerScientists +
, http://dbpedia.org/class/yago/Adult109605289 +
, http://dbpedia.org/class/yago/WikicatWomenComputerScientists +
, http://www.wikidata.org/entity/Q901 +
, http://www.wikidata.org/entity/Q19088 +
, http://dbpedia.org/class/yago/Professional110480253 +
, http://dbpedia.org/class/yago/ComputerUser109951274 +
, http://dbpedia.org/class/yago/ComputerScientist109951070 +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://www.wikidata.org/entity/Q215627 +
, http://dbpedia.org/ontology/Species +
, http://dbpedia.org/class/yago/WikicatLivingPeople +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://dbpedia.org/class/yago/WikicatAcademicsOfImperialCollegeLondon +
, http://dbpedia.org/class/yago/Academician109759069 +
, http://xmlns.com/foaf/0.1/Person +
, http://www.wikidata.org/entity/Q729 +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://www.wikidata.org/entity/Q5 +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/ontology/Animal +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/Educator110045713 +
|
| rdfs:comment |
Sophia Chloe Drossopoulou (Greek: Σοφία Δρ … 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.oundness of the Java programming language.
|
| rdfs:label |
Sophia Drossopoulou
|
