# Hartmut Ehrig

> German computer scientist (1944-2016)

**Wikidata**: [Q59533260](https://www.wikidata.org/wiki/Q59533260)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Hartmut_Ehrig)  
**Source**: https://4ort.xyz/entity/hartmut-ehrig

## Summary  
Hartmut Ehrig (6 December 1944 – 17 March 2016) was a German computer scientist and professor at the Technische Universität Berlin. He is noted for his extensive research in computer science, his mentorship of a generation of doctoral students, and his contributions to the academic community in Germany.

## Biography  
- **Born:** 1944‑12‑06, Angermünde, Germany  
- **Nationality:** German  
- **Education:** Ph.D. in Computer Science, Technische Universität Berlin (doctoral advisor: Kurt Leichtweiss)  
- **Known for:** Pioneering research in computer science and supervising a large cohort of doctoral candidates who became prominent scholars.  
- **Employer(s):** Technische Universität Berlin (professor)  
- **Field(s):** Computer science  

## Contributions  
Hartmut Ehrig spent the bulk of his academic career at the Technische Universität Berlin, where he conducted research, taught, and supervised doctoral dissertations. His mentorship produced a notable list of doctoral students, including Bernd Mahr, Hans‑Jörg Kreowski, Gottfried Egger, Reiko Heckel, Annegret Habel, Leen Lambers, Leila Ribeiro, Dietmar Wolz, Manuel Koch, and Karsten Gabriel. Through these students, Ehrig’s influence spread across German computer‑science research, particularly in formal methods and specification languages. He authored numerous peer‑reviewed papers that contributed to the theoretical foundations of software engineering, and his work is indexed in major bibliographic databases (DBLP, Scopus, IEEE Xplore, ACM Digital Library). Ehrig’s scholarly network is reflected in his Erdős number of 3, underscoring his collaborative reach within the international mathematics and computer‑science communities.

## FAQs  
### Q: When and where was Hartmut Ehrig born?  
A: He was born on 6 December 1944 in Angermünde, Germany.  

### Q: Which university did he work for most of his career?  
A: He was a professor at the Technische Universität Berlin.  

### Q: Who were some of his notable doctoral students?  
A: His doctoral students include Bernd Mahr, Hans‑Jörg Kreowski, Gottfried Egger, Reiko Heckel, Annegret Habel, Leen Lambers, Leila Ribeiro, Dietmar Wolz, Manuel Koch, and Karsten Gabriel.  

## Why They Matter  
Hartmut Ehrig’s impact on computer science extends beyond his own research; he shaped the field through an extensive mentorship legacy. By guiding more than a dozen doctoral candidates—many of whom became leading scholars and educators—Ehrig helped establish a strong German tradition in formal methods, software specification, and theoretical computer science. His publications and collaborative work enriched the academic literature, while his role at TU Berlin strengthened the institution’s reputation as a hub for rigorous computer‑science research. Without his contributions, the development of formal specification techniques in Germany would have progressed more slowly, and many of his students’ subsequent achievements might not have materialized.

## Notable For  
- Professor of Computer Science at Technische Universität Berlin.  
- Doctoral advisor to a distinguished cohort of computer scientists (e.g., Bernd Mahr, Hans‑Jörg Kreowski).  
- Erdős number 3, reflecting a broad collaborative network.  
- Authored numerous influential papers indexed in DBLP, Scopus, IEEE Xplore, and ACM Digital Library.  
- Recognized in multiple authority files (GND 107905582, VIAF 91382328, ISNI 0000000116849234).

## Body  

### Early Life and Education  
Hartmut Ehrig was born on 6 December 1944 in the town of Angermünde, Germany. He pursued higher education in computer science at the Technische Universität Berlin, where he earned his doctorate under the supervision of Kurt Leichtweiss.

### Academic Career  
After completing his Ph.D., Ehrig joined the faculty of the Technische Universität Berlin, eventually becoming a full professor. His research focused on theoretical aspects of computer science, contributing to the foundations of software engineering and formal methods. He published extensively, with his works catalogued in major scholarly databases such as DBLP (author ID e/HartmutEhrig), Scopus, IEEE Xplore, and the ACM Digital Library.

### Mentorship and Doctoral Supervision  
Ehrig’s most enduring legacy lies in his mentorship. He supervised at least ten doctoral students, many of whom have become prominent researchers and professors. This mentorship chain amplified his influence across German and international computer‑science communities.

### Scholarly Impact  
Through his publications and collaborations, Ehrig achieved an Erdős number of 3, indicating close collaborative ties with the broader mathematics and computer‑science research networks. His contributions are referenced in bibliographic resources such as WorldCat, Library of Congress, and the Mathematics Genealogy Project (ID 19791).

### Later Years and Death  
Hartmut Ehrig passed away on 17 March 2016. His death was noted in German media, including a tribute in the *Tagesspiegel*.

## Schema Markup  
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Hartmut Ehrig",
  "jobTitle": "Professor of Computer Science",
  "worksFor": {
    "@type": "Organization",
    "name": "Technische Universität Berlin"
  },
  "nationality": {
    "@type": "Country",
    "name": "Germany"
  },
  "birthDate": "1944-12-06",
  "deathDate": "2016-03-17",
  "birthPlace": "Angermünde, Germany",
  "alumniOf": [
    {
      "@type": "EducationalOrganization",
      "name": "Technische Universität Berlin"
    }
  ],
  "knowsAbout": ["Computer science", "Formal methods"],
  "sameAs": [
    "https://www.wikidata.org/wiki/Q???", 
    "https://en.wikipedia.org/wiki/Hartmut_Ehrig"
  ],
  "description": "German computer scientist and professor at Technische Universität Berlin, known for his research and mentorship of many doctoral students."
}

## References

1. Mathematics Genealogy Project
2. CiNii Research
3. Virtual International Authority File
4. Czech National Authority Database
5. [Traueranzeige Hartmut Ehrig. 2016](https://trauer.tagesspiegel.de/traueranzeige/hartmut-ehrig)
6. CONOR.SI
7. [Source](https://zbmath.org/collaboration-distance/?a=ehrig.hartmut&b=erdos.paul)