# Thorsten Altenkirch

> computer scientist

**Wikidata**: [Q22087167](https://www.wikidata.org/wiki/Q22087167)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Thorsten_Altenkirch)  
**Source**: https://4ort.xyz/entity/thorsten-altenkirch

## Summary
Thorsten Altenkirch is a computer scientist known for his work in constructivism and type theory. He is affiliated with the University of Nottingham and has supervised several doctoral students, including Jonathan James Grattage. His research focuses on foundational aspects of computer science, particularly in the development of inductive types and strong normalization.

## Biography
- Born: 1962
- Nationality: Not specified
- Education: Ph.D. from the University of Edinburgh, supervised by Rod Burstall
- Known for: Contributions to constructivism and type theory, including work on inductive types and strong normalization
- Employer(s): University of Nottingham
- Field(s): Constructivism, type theory

## Contributions
Thorsten Altenkirch has made significant contributions to the field of computer science, particularly in the areas of constructivism and type theory. His doctoral thesis, "Constructions, inductive types and strong normalization," laid the groundwork for his later research. He has supervised several doctoral students, including Jonathan James Grattage, and has published extensively in academic journals and conferences. His work has influenced the development of inductive types and strong normalization, which are fundamental concepts in type theory. Altenkirch's research has been recognized through various academic identifiers, including his ISNI, VIAF, and ORCID IDs, which reflect his contributions to the field.

## FAQs
### Q: What is Thorsten Altenkirch known for?
A: Thorsten Altenkirch is known for his work in constructivism and type theory, particularly for his contributions to inductive types and strong normalization.

### Q: Where did Thorsten Altenkirch complete his education?
A: Thorsten Altenkirch completed his Ph.D. at the University of Edinburgh under the supervision of Rod Burstall.

### Q: What is the title of Thorsten Altenkirch's doctoral thesis?
A: The title of Thorsten Altenkirch's doctoral thesis is "Constructions, inductive types and strong normalization."

### Q: Who are some of the doctoral students supervised by Thorsten Altenkirch?
A: Some of the doctoral students supervised by Thorsten Altenkirch include Jonathan James Grattage, Peter William Morris, Alexander S. Green, James Maitland Chapman, and Rawle Prince.

### Q: What is Thorsten Altenkirch's field of work?
A: Thorsten Altenkirch's field of work is constructivism and type theory.

## Why They Matter
Thorsten Altenkirch's work in constructivism and type theory has had a significant impact on the field of computer science. His research on inductive types and strong normalization has laid the foundation for many advancements in type theory. His doctoral students, including Jonathan James Grattage, have also made notable contributions to the field. Altenkirch's work has influenced the development of programming languages and formal methods, making him a key figure in the academic community. His publications and academic identifiers reflect his enduring influence on the field.

## Notable For
- Supervised several doctoral students, including Jonathan James Grattage
- Authored the doctoral thesis "Constructions, inductive types and strong normalization"
- Contributions to constructivism and type theory
- Affiliated with the University of Nottingham
- Recognized through various academic identifiers, including ISNI, VIAF, and ORCID

## Body
### Early Life and Education
Thorsten Altenkirch was born in 1962. He completed his Ph.D. at the University of Edinburgh under the supervision of Rod Burstall. His doctoral thesis, "Constructions, inductive types and strong normalization," was a significant contribution to the field of type theory.

### Academic Career
Altenkirch is currently affiliated with the University of Nottingham. He has supervised several doctoral students, including Jonathan James Grattage, Peter William Morris, Alexander S. Green, James Maitland Chapman, and Rawle Prince. His research focuses on constructivism and type theory, particularly in the development of inductive types and strong normalization.

### Publications and Recognition
Thorsten Altenkirch has published extensively in academic journals and conferences. His work has been recognized through various academic identifiers, including his ISNI, VIAF, and ORCID IDs. He has also contributed to the development of programming languages and formal methods through his research in type theory.

### Influence and Legacy
Thorsten Altenkirch's work has had a significant impact on the field of computer science. His contributions to constructivism and type theory have influenced the development of inductive types and strong normalization. His doctoral students have also made notable contributions to the field, further cementing his legacy in the academic community.

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Thorsten Altenkirch",
  "jobTitle": "Computer Scientist",
  "worksFor": {"@type": "Organization", "name": "University of Nottingham"},
  "birthDate": "1962",
  "alumniOf": [{"@type": "EducationalOrganization", "name": "University of Edinburgh"}],
  "knowsAbout": ["Constructivism", "Type Theory"],
  "sameAs": ["https://www.wikidata.org/wiki/Q106982540", "https://en.wikipedia.org/wiki/Thorsten_Altenkirch"],
  "description": "Computer scientist known for contributions to constructivism and type theory, particularly inductive types and strong normalization."
}

## References

1. IdRef
2. Mathematics Genealogy Project
3. NUKAT
4. Virtual International Authority File
5. Personal Authority Wikibase of the Czech Republic
6. [ORCID Public Data File 2020](https://pub.orcid.org/v3.0_rc1/0000-0002-6582-5025/researcher-urls/631112)
7. [ORCID Public Data File 2020](https://pub.orcid.org/v3.0_rc1/0000-0002-6582-5025/external-identifiers/942132)
8. National Library of Israel Names and Subjects Authority File