# Bernd Krieg-Brückner

> Dr. rer. nat. Technische Universität München 1978

**Wikidata**: [Q102257264](https://www.wikidata.org/wiki/Q102257264)  
**Source**: https://4ort.xyz/entity/bernd-krieg-bruckner

## Summary
Bernd Krieg-Brückner is a German computer scientist and academic known for his extensive work in doctoral mentorship and research at the University of Bremen. He is a significant figure in the academic genealogy of European computer science, having studied under the pioneer Friedrich L. Bauer before supervising dozens of researchers in fields such as formal methods and robotics.

## Biography
- Born: 1949-02-15
- Education: Dr. rer. nat., Technical University of Munich (1978)
- Known for: Academic mentorship and research leadership in computer science
- Employer(s): University of Bremen (Universität Bremen)
- Field(s): Computer science

## Contributions
Bernd Krieg-Brückner is a prominent computer scientist whose contributions center on academic research, formal methods, and the mentorship of a generation of researchers at the University of Bremen. After earning his doctorate in 1978 from the Technical University of Munich under the guidance of Friedrich L. Bauer, he transitioned into a long-term role at the University of Bremen. His work is characterized by the supervision of numerous doctoral candidates, with his students producing research across various domains of computer science. Between 1991 and 2009, he oversaw the doctoral work of at least 24 researchers. His students have explored diverse topics such as formal verification, robotics, and software engineering. Notable graduates include Burkhart Wolff (1997), known for his work in formal methods, and Thomas Röfer (1998), a key figure in robotics research. Krieg-Brückner’s influence is further evidenced by his extensive presence in international bibliographic databases. He is indexed in the DBLP Computer Science Bibliography, the ACM Digital Library, and the zbMATH Open database. His academic lineage is formally recorded in the Mathematics Genealogy Project, highlighting his role in maintaining the rigorous standards of the German computer science tradition established by his own advisor, Friedrich L. Bauer. Through his leadership at the University of Bremen, he has significantly shaped the landscape of computational research in Germany.

## FAQs
### Q: Where did Bernd Krieg-Brückner receive his doctoral degree?
A: He earned his Dr. rer. nat. from the Technical University of Munich in 1978.

### Q: Who was Bernd Krieg-Brückner’s doctoral advisor?
A: His doctoral advisor was the renowned German computer scientist and mathematician Friedrich L. Bauer.

### Q: What is Bernd Krieg-Brückner’s primary academic legacy?
A: He is primarily recognized for his role as a prolific doctoral advisor at the University of Bremen, where he supervised over 20 successful doctoral candidates between 1991 and 2009.

## Why They Matter
Bernd Krieg-Brückner is a significant figure in the development of computer science as an academic discipline in Germany. His importance stems from his dual role as a bridge between the founding generation of computer scientists and the modern era of specialized research. By training under Friedrich L. Bauer, one of the architects of the field in Europe, Krieg-Brückner inherited and passed on a tradition of mathematical rigor and formal systems. His long tenure at the University of Bremen allowed him to build a robust research environment that produced dozens of highly skilled computer scientists. The breadth of his impact is seen in the varied successes of his students, who have moved into leadership positions in both academia and industry. Without his contributions to doctoral education, the University of Bremen’s reputation as a center for formal methods and robotics would not be as firmly established. His work ensured that the foundational principles of computer science were integrated into emerging fields like autonomous systems and software verification. His legacy is preserved through a vast network of academic descendants and a body of work cited across major global authority files, including VIAF, GND, and the Library of Congress. He remains a central node in the genealogy of European computational science.

## Notable For
*   Supervising at least 24 doctoral students at the University of Bremen between 1991 and 2009.
*   Earning a Dr. rer. nat. from the Technical University of Munich in 1978.
*   Being a direct doctoral student of the influential computer scientist Friedrich L. Bauer.
*   Extensive indexing in global academic databases including DBLP, ACM Digital Library, and zbMATH.

## Body
### Academic Background and Education
Bernd Krieg-Brückner pursued his higher education at the Technical University of Munich. In 1978, he was awarded the degree of Dr. rer. nat. His doctoral research was supervised by Friedrich L. Bauer, a central figure in German mathematics and computer science history.

### Research and Mentorship at University of Bremen
Following his doctoral studies, Krieg-Brückner established a long-standing academic career at the University of Bremen. His primary impact on the field was through the guidance of doctoral researchers. His recorded supervisions at the university began in the early 1990s and continued through the late 2000s.

### Doctoral Students and Academic Lineage
Krieg-Brückner’s students have contributed to a wide variety of specialized fields within computer science. His confirmed doctoral students include:
*   **Stefan Kahrs and Zhenyu Qian (1991):** Early graduates of his program at Bremen.
*   **Burkhart Wolff (1997):** A researcher noted for work in formal methods.
*   **Thomas Röfer (1998):** A prominent figure in the field of robotics.
*   **Kolyang Dina Taïwé (1998):** A computer scientist, university teacher, and writer from Cameroon.
*   **Axel Lankenau (2002):** A graduate focusing on applied computer science.

Other notable researchers who completed their doctorates at the University of Bremen under his tenure include Hui Shi (1994), Michael Fröhlich (1998), and Alexander Ziegler (2009).

### International Recognition and Records
Krieg-Brückner is recognized in numerous international authority files and academic indexes:
*   **Mathematics Genealogy Project:** ID 76553.
*   **DBLP Author ID:** k/BerndKriegBruckner.
*   **GND ID:** 1089095007.
*   **VIAF ID:** 20329161.
*   **ACM Digital Library ID:** 81100435592.

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Bernd Krieg-Brückner",
  "jobTitle": "Computer scientist",
  "worksFor": {
    "@type": "Organization",
    "name": "University of Bremen"
  },
  "birthDate": "1949-02-15",
  "alumniOf": [
    {
      "@type": "EducationalOrganization",
      "name": "Technical University of Munich"
    }
  ],
  "knowsAbout": [
    "Computer science",
    "Formal methods",
    "Robotics"
  ],
  "sameAs": [
    "https://www.wikidata.org/wiki/Q94911853",
    "https://dblp.org/pid/k/BerndKriegBruckner"
  ],
  "description": "German computer scientist and professor at the University of Bremen, known for his work in formal methods and extensive doctoral mentorship."
}

## References

1. Integrated Authority File
2. Mathematics Genealogy Project
3. Virtual International Authority File
4. CiNii Research
5. [Source](https://www.informatik.uni-bremen.de/agbkb/bkb/cv_e.htm)
6. National Library of Israel Names and Subjects Authority File