Thorsten Altenkirch is a prominent computer scientist and mathematician. He was born in Germany and currently works as a professor at the University of Nottingham in the United Kingdom. Altenkirch is known for his contributions to various fields, including type theory, functional programming, category theory, and formal verification. One of his notable research interests is in the area of dependent type theory, which is a branch of mathematical logic that combines elements of type theory and higher-order logic. Altenkirch has made significant contributions to the development of dependent type systems, including working on the design and implementation of the dependently typed programming language called Agda. Altenkirch has also made important contributions to functional programming languages, particularly in the area of program verification and proof assistants. He has worked on developing techniques for formally verifying properties of programs using dependent types. In addition to his academic work, Altenkirch is actively involved in promoting diversity and inclusivity within computer science. He has been an advocate for increasing representation of women and underrepresented groups in the field and has organized various events to support these efforts. Overall, Thorsten Altenkirch is a highly respected figure in the fields of computer science and mathematics. His work on dependent types and program verification has advanced these areas significantly, and his advocacy for diversity makes him an influential figure within academia. # References ```dataview Table title as Title, authors as Authors where contains(authors, "Thorsten Altenkirch") or contains(subject, "Thorsten Altenkirch") ```