This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License
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.
| Property | Value |
|---|---|
| dbo:abstract |
|
| dbo:academicDiscipline | |
| dbo:almaMater | |
| dbo:doctoralAdvisor | |
| dbo:institution | |
| dbo:wikiPageExternalLink | |
| dbo:wikiPageID |
|
| dbo:wikiPageLength |
|
| dbo:wikiPageRevisionID |
|
| dbo:wikiPageWikiLink |
|
| dbp:almaMater | |
| dbp:doctoralAdvisor | |
| dbp:fields | |
| dbp:name |
|
| dbp:wikiPageUsesTemplate | |
| dbp:workplaces | |
| dcterms:subject | |
| gold:hypernym | |
| rdf:type | |
| rdfs:comment |
|
| rdfs:label |
|
| owl:sameAs | |
| prov:wasDerivedFrom | |
| foaf:isPrimaryTopicOf | |
| foaf:name |
|
| is dbo:doctoralStudent of | |
| is dbo:wikiPageWikiLink of | |
| is dbp:doctoralStudents of | |
| is foaf:primaryTopic of |