Thorsten Altenkirch

http://dbpedia.org/resource/Thorsten_Altenkirch an entity of type: Thing

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. rdf:langString
rdf:langString Thorsten Altenkirch
rdf:langString Thorsten Altenkirch
rdf:langString Thorsten Altenkirch
xsd:integer 48765520
xsd:integer 1112514476
rdf:langString 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.
xsd:nonNegativeInteger 2602
owl:Thing
foaf:Person
dbpedia-owl:Person
<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson>
<http://www.wikidata.org/entity/Q19088>
<http://www.wikidata.org/entity/Q215627>
<http://www.wikidata.org/entity/Q5>
<http://www.wikidata.org/entity/Q729>
dbpedia-owl:Animal
dbpedia-owl:Eukaryote
dbpedia-owl:Scientist
dbpedia-owl:Species
schema-org:Person
<http://www.wikidata.org/entity/Q901>
<http://dbpedia.org/resource/Category:Alumni_of_the_University_of_Edinburgh>
<http://dbpedia.org/resource/Category:Living_people>
<http://dbpedia.org/resource/Category:Place_of_birth_missing_(living_people)>
<http://dbpedia.org/resource/Category:Year_of_birth_missing_(living_people)>
<http://dbpedia.org/resource/Category:Academics_of_the_University_of_Nottingham>
<http://dbpedia.org/resource/Category:Computer_scientists>
<http://dbpedia.org/resource/Rod_Burstall>
<http://dbpedia.org/resource/Homotopy_type_theory>
<http://dbpedia.org/resource/Univalent_foundations>
<http://dbpedia.org/resource/University_of_Edinburgh>
<http://dbpedia.org/resource/University_of_Nottingham>
<http://dbpedia.org/resource/Category:Alumni_of_the_University_of_Edinburgh>
<http://dbpedia.org/resource/Category:Living_people>
<http://dbpedia.org/resource/Category:Place_of_birth_missing_(living_people)>
<http://dbpedia.org/resource/Category:Year_of_birth_missing_(living_people)>
<http://dbpedia.org/resource/Mathematical_logic>
<http://dbpedia.org/resource/Epigram_(programming_language)>
<http://dbpedia.org/resource/Container_(type_theory)>
<http://dbpedia.org/resource/Category:Academics_of_the_University_of_Nottingham>
<http://dbpedia.org/resource/Category:Computer_scientists>
<http://dbpedia.org/resource/Type_theory>
<http://dbpedia.org/resource/Institute_for_Advanced_Study>
<http://dbpedia.org/resource/Constructive_mathematics>
<http://www.cs.nott.ac.uk/~psztxa/>
<https://www.nottingham.ac.uk/computerscience/people/thorsten.altenkirch>
<http://yago-knowledge.org/resource/Thorsten_Altenkirch>
<https://dblp.org/pid/21/3520>
<http://viaf.org/viaf/69163625>
<https://orcid.org/0000-0002-6582-5025>
<http://www.wikidata.org/entity/Q22087167>
<https://global.dbpedia.org/id/269Wk>
<http://dbpedia.org/resource/University_of_Nottingham>
<http://dbpedia.org/resource/Institute_for_Advanced_Study>
<http://dbpedia.org/resource/Template:Authority_control>
<http://dbpedia.org/resource/Template:IPA-de>
<http://dbpedia.org/resource/Template:IPAc-en>
<http://dbpedia.org/resource/Template:Reflist>
<http://dbpedia.org/resource/Template:Respell>
<http://dbpedia.org/resource/Template:Short_description>
<http://dbpedia.org/resource/Template:Use_dmy_dates>
<http://dbpedia.org/resource/Template:Infobox_scientist>
<http://dbpedia.org/resource/University_of_Edinburgh>
<http://dbpedia.org/resource/Homotopy_type_theory>
<http://dbpedia.org/resource/Type_theory>
<http://dbpedia.org/resource/Constructive_mathematics>
<http://dbpedia.org/resource/Rod_Burstall>
<http://dbpedia.org/resource/Rod_Burstall>
<http://dbpedia.org/resource/University_of_Nottingham>
<http://dbpedia.org/resource/Institute_for_Advanced_Study>
<http://dbpedia.org/resource/Professor>
<http://en.wikipedia.org/wiki/Thorsten_Altenkirch?oldid=1112514476&ns=0>
<http://dbpedia.org/resource/Homotopy_type_theory>
<http://dbpedia.org/resource/Type_theory>
<http://dbpedia.org/resource/Constructive_mathematics>
<http://dbpedia.org/resource/University_of_Edinburgh>
<http://en.wikipedia.org/wiki/Thorsten_Altenkirch>

data from the linked data cloud