http://dbpedia.org/ontology/abstract
|
Thorsten Altenkirch (/ˈɔːltənkɜːrʃ/ AWL-tə … Thorsten Altenkirch (/ˈɔːltənkɜːrʃ/ AWL-tən-kursh, German: [ˈtɔʁstn̩ ˈʔaltn̩kɪʁç]) is a German Professor of Computer Science at the University of Nottingham known for his research on logic, type theory, and homotopy type theory. Altenkirch was part of the 2012/2013 special year on univalent foundations at the Institute for Advanced Study. At Nottingham he co-chairs the Functional Programming Laboratory with Graham Hutton.Programming Laboratory with Graham Hutton.
|
http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Constructive_mathematics +
, http://dbpedia.org/resource/Homotopy_type_theory +
, http://dbpedia.org/resource/Type_theory +
|
http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/University_of_Edinburgh +
|
http://dbpedia.org/ontology/doctoralAdvisor
|
http://dbpedia.org/resource/Rod_Burstall +
|
http://dbpedia.org/ontology/institution
|
http://dbpedia.org/resource/Institute_for_Advanced_Study +
, http://dbpedia.org/resource/University_of_Nottingham +
|
http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.cs.nott.ac.uk/~psztxa/ +
, https://www.nottingham.ac.uk/computerscience/people/thorsten.altenkirch +
|
http://dbpedia.org/ontology/wikiPageID
|
48765520
|
http://dbpedia.org/ontology/wikiPageLength
|
2602
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1112514476
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Type_theory +
, http://dbpedia.org/resource/Category:Computer_scientists +
, http://dbpedia.org/resource/Container_%28type_theory%29 +
, http://dbpedia.org/resource/Category:Alumni_of_the_University_of_Edinburgh +
, http://dbpedia.org/resource/Epigram_%28programming_language%29 +
, http://dbpedia.org/resource/Univalent_foundations +
, http://dbpedia.org/resource/University_of_Edinburgh +
, http://dbpedia.org/resource/Rod_Burstall +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:Academics_of_the_University_of_Nottingham +
, http://dbpedia.org/resource/Category:Place_of_birth_missing_%28living_people%29 +
, http://dbpedia.org/resource/Category:Year_of_birth_missing_%28living_people%29 +
, http://dbpedia.org/resource/University_of_Nottingham +
, http://dbpedia.org/resource/Homotopy_type_theory +
, http://dbpedia.org/resource/Mathematical_logic +
, http://dbpedia.org/resource/Institute_for_Advanced_Study +
, http://dbpedia.org/resource/Constructive_mathematics +
|
http://dbpedia.org/property/almaMater
|
http://dbpedia.org/resource/University_of_Edinburgh +
|
http://dbpedia.org/property/doctoralAdvisor
|
http://dbpedia.org/resource/Rod_Burstall +
|
http://dbpedia.org/property/fields
|
http://dbpedia.org/resource/Homotopy_type_theory +
, http://dbpedia.org/resource/Constructive_mathematics +
, http://dbpedia.org/resource/Type_theory +
|
http://dbpedia.org/property/name
|
Thorsten Altenkirch
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Use_dmy_dates +
, http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:Respell +
, http://dbpedia.org/resource/Template:IPAc-en +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:IPA-de +
|
http://dbpedia.org/property/workplaces
|
http://dbpedia.org/resource/Institute_for_Advanced_Study +
, http://dbpedia.org/resource/University_of_Nottingham +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:Computer_scientists +
, http://dbpedia.org/resource/Category:Year_of_birth_missing_%28living_people%29 +
, http://dbpedia.org/resource/Category:Academics_of_the_University_of_Nottingham +
, http://dbpedia.org/resource/Category:Alumni_of_the_University_of_Edinburgh +
, http://dbpedia.org/resource/Category:Place_of_birth_missing_%28living_people%29 +
|
http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Professor +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Thorsten_Altenkirch?oldid=1112514476&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Thorsten_Altenkirch +
|
http://xmlns.com/foaf/0.1/name
|
Thorsten Altenkirch
|
owl:sameAs |
http://www.wikidata.org/entity/Q22087167 +
, http://viaf.org/viaf/69163625 +
, http://yago-knowledge.org/resource/Thorsten_Altenkirch +
, http://dbpedia.org/resource/Thorsten_Altenkirch +
, https://dblp.org/pid/21/3520 +
, https://orcid.org/0000-0002-6582-5025 +
, https://global.dbpedia.org/id/269Wk +
|
rdf:type |
http://dbpedia.org/ontology/Animal +
, http://www.wikidata.org/entity/Q5 +
, http://www.wikidata.org/entity/Q729 +
, http://schema.org/Person +
, http://dbpedia.org/ontology/Species +
, http://dbpedia.org/ontology/Scientist +
, http://www.wikidata.org/entity/Q215627 +
, http://xmlns.com/foaf/0.1/Person +
, http://www.wikidata.org/entity/Q901 +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/ontology/Person +
, http://www.wikidata.org/entity/Q19088 +
, http://dbpedia.org/ontology/Eukaryote +
|
rdfs:comment |
Thorsten Altenkirch (/ˈɔːltənkɜːrʃ/ AWL-tə … Thorsten Altenkirch (/ˈɔːltənkɜːrʃ/ AWL-tən-kursh, German: [ˈtɔʁstn̩ ˈʔaltn̩kɪʁç]) is a German Professor of Computer Science at the University of Nottingham known for his research on logic, type theory, and homotopy type theory. Altenkirch was part of the 2012/2013 special year on univalent foundations at the Institute for Advanced Study. At Nottingham he co-chairs the Functional Programming Laboratory with Graham Hutton.Programming Laboratory with Graham Hutton.
|
rdfs:label |
Thorsten Altenkirch
|