# Reiner Hähnle

> researcher (ORCID 0000-0001-8000-7613)

**Wikidata**: [Q92730239](https://www.wikidata.org/wiki/Q92730239)  
**Source**: https://4ort.xyz/entity/reiner-hahnle

json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Reiner Hähnle",
  "jobTitle": "Computer Scientist, Researcher",
  "worksFor": {
    "@type": "Organization",
    "name": "Technical University of Darmstadt"
  },
  "nationality": {
    "@type": "Country",
    "name": "Germany"
  },
  "birthDate": "1962",
  "alumniOf": [
    {
      "@type": "EducationalOrganization",
      "name": "Karlsruhe Institute of Technology"
    }
  ],
  "knowsAbout": [
    "Automated Reasoning",
    "Formal Methods",
    "Computer Science"
  ],
  "sameAs": [
    "https://www.wikidata.org/wiki/Q106982540",
    "https://orcid.org/0000-0001-8000-7613"
  ],
  "description": "German computer scientist and researcher specializing in automated reasoning and formal methods."
}

## References

1. Integrated Authority File
2. [ORCID Public Data File 2020](https://pub.orcid.org/v3.0_rc1/0000-0001-8000-7613/employment/4655834)
3. Mathematics Genealogy Project
4. [Source](https://data.dnb.de/opendata/authorities-gnd-person_lds.rdf.gz)
5. Personal Authority Wikibase of the Czech Republic
6. [ORCID Public Data File 2020](https://pub.orcid.org/v3.0_rc1/0000-0001-8000-7613/external-identifiers/838850)