About: Philippa Gardner

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

British computer scientist

Property	Value
dbo:academicDiscipline	dbr:Programming_language dbr:Formal_verification dbr:Functional_programming
dbo:almaMater	dbr:Edinburgh dbr:University_of_Cambridge dbr:University_of_Bristol
dbo:award	dbr:BCS_Lovelace_Medal
dbo:birthDate	1965-06-29 (xsd:date)
dbo:description	British computer scientist (en) informaticus (nl)
dbo:doctoralAdvisor	dbr:Gordon_Plotkin
dbo:institution	dbr:Imperial_College_London
dbo:thumbnail	wiki-commons:Special:FilePath/Philipa_Gardner_SSFT_2025.jpg?width=300
dbo:wikiPageWikiLink	dbc:1965_births dbr:Professor_(highest_academic_rank) dbc:Living_people dbr:Devon dbr:Doctor_of_Philosophy dbr:University_of_Edinburgh dbr:Engineering_and_Physical_Sciences_Research_Council dbr:Imperial_College_London dbr:Computer_scientist dbr:Exeter dbr:Royal_Academy_of_Engineering dbr:GCHQ dbr:Department_of_Computing,_Imperial_College_London dbr:Gordon_Plotkin dbr:Robin_Milner dbr:Doctoral_thesis dbc:Theoretical_computer_scientists dbc:Alumni_of_the_University_of_Edinburgh dbc:British_computer_scientists dbc:Fellows_of_the_Royal_Academy_of_Engineering dbc:British_women_computer_scientists dbc:Academics_of_the_Department_of_Computing,_Imperial_College_London dbc:Scientists_from_Exeter dbr:Bristol_University dbr:Cambridge_University dbr:The_Royal_Society_of_Edinburgh dbr:Theoretical_Computer_Science dbr:M.Sc._degree dbc:Female_Fellows_of_the_Royal_Academy_of_Engineering
dbp:almaMater	(en) University of Cambridge (en) Edinburgh (en) Bristol University (en)
dbp:awards	dbr:BCS_Lovelace_Medal
dbp:birthDate	1965-06-29 (xsd:date)
dbp:doctoralAdvisor	dbr:Gordon_Plotkin
dbp:fields	(en) Formal verification (en) Programming Languages (en) Functional Programming (en)
dbp:name	Philippa Anne Gardner (en)
dbp:nationality	British (en)
dbp:thesisTitle	Representing Logics in Type Theory (en)
dbp:thesisUrl	https://www.doc.ic.ac.uk/~pg/publications/Gardner1992Representing.html
dbp:thesisYear	1992 (xsd:integer)
dbp:website	https://www.doc.ic.ac.uk/~pg/
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Birth_date_and_age dbt:Infobox_scientist dbt:Post-nominals dbt:Reflist dbt:Rp dbt:Short_description dbt:Use_British_English dbt:Use_dmy_dates
dbp:workplaces	dbr:Imperial_College_London
dct:subject	dbc:1965_births dbc:Living_people dbc:Alumni_of_the_University_of_Edinburgh dbc:Fellows_of_the_British_Computer_Society dbc:Fellows_of_the_Royal_Academy_of_Engineering dbc:Female_fellows_of_the_Royal_Academy_of_Engineering dbc:British_women_computer_scientists dbc:British_theoretical_computer_scientists dbc:Academics_of_the_Department_of_Computing,_Imperial_College_London dbc:Scientists_from_Exeter
gold:hypernym	dbr:Professor
rdf:type	owl:Thing owl:Thing foaf:Person dbo:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 wikidata:Q901 dbo:Animal dbo:Animal dbo:Eukaryote dbo:Eukaryote dbo:Scientist dbo:Scientist dbo:Species dbo:Species schema:Person
rdfs:label	Philippa Gardner (en) فيليبا غاردنر (ar)
owl:sameAs	yago-res:Philippa Gardner wikidata:Philippa Gardner https://dblp.org/pid/g/PhilippaGardner http://viaf.org/viaf/20760309 http://data.bibliotheken.nl/id/thes/p303775262 dbpedia-ar:Philippa Gardner dbpedia-global:Philippa Gardner
prov:wasDerivedFrom	wikipedia-en:Philippa_Gardner?oldid=1305674821&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Philipa_Gardner_SSFT_2025.jpg
foaf:homepage	https://www.doc.ic.ac.uk/~pg/
foaf:isPrimaryTopicOf	wikipedia-en:Philippa_Gardner
foaf:name	Philippa Anne Gardner (en)
is dbo:doctoralStudent of	dbr:Gordon_Plotkin
is dbo:wikiPageWikiLink of	dbr:School_of_Informatics,_University_of_Edinburgh dbr:Department_of_Computing,_Imperial_College_London dbr:Gordon_Plotkin dbr:List_of_University_of_Edinburgh_people dbr:Brighton_Hove_&_Sussex_Sixth_Form_College
is dbp:holder of	dbr:BCS_Lovelace_Medal
is foaf:primaryTopic of	wikipedia-en:Philippa_Gardner