Thorsten Altenkirch ( , ) is a German Professor of Computer Science at the

University of Nottingham , mottoeng = A city is built on wisdom , established = 1798 – teacher training college1881 – University College Nottingham1948 – university status , type = Public , chancellor ...

known for his research on

logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premise ...

type theory In mathematics, logic, and computer science, a type theory is the formal presentation of a specific type system, and in general type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a fou ...

, and

homotopy type theory In mathematical logic and computer science, homotopy type theory (HoTT ) refers to various lines of development of intuitionistic type theory, based on the interpretation of types as objects to which the intuition of (abstract) homotopy theory a ...

. Altenkirch was part of the 2012/2013 special year on

univalent foundations Univalent foundations are an approach to the foundations of mathematics in which mathematical structures are built out of objects called ''types''. Types in univalent foundations do not correspond exactly to anything in set-theoretic foundations, bu ...

at the

Institute for Advanced Study The Institute for Advanced Study (IAS), located in Princeton, New Jersey, in the United States, is an independent center for theoretical research and intellectual inquiry. It has served as the academic home of internationally preeminent schola ...

. At Nottingham he co-chairs the Functional Programming Laboratory with Graham Hutton.

Education

Altenkirch obtained his PhD from the

University of Edinburgh The University of Edinburgh ( sco, University o Edinburgh, gd, Oilthigh Dhùn Èideann; abbreviated as ''Edin.'' in post-nominals) is a public research university based in Edinburgh, Scotland. Granted a royal charter by King James VI in 15 ...

in 1993 under

Rod Burstall Rodney Martineau "Rod" Burstall FRSE (born 1934) is a British computer scientist and one of four founders of the Laboratory for Foundations of Computer Science at the University of Edinburgh. Biography Burstall studied physics at the Universi ...

Contributions

Altenkirch's work includes:

Containers A container is any receptacle or enclosure for holding a product used in storage, packaging, and transportation, including shipping. Things kept inside of a container are protected on several sides by being inside of its structure. The term ...

, Epigram programming language, and Homotopy Type Theory: Univalent Foundations of Mathematics (''The HoTT Book''). Altenkirch has also been a guest on the YouTube channel Computerphile.

References

External links

*Altenkirch'
personal page
at Nottingham *Altenkirch's newer page at Nottingha

{{DEFAULTSORT:Altenkirch, Thorsten German computer scientists Year of birth missing (living people) Living people Alumni of the University of Edinburgh Academics of the University of Nottingham Place of birth missing (living people)