Dirk Beyer

University Professor
Person human Q62050422
Press Enter · cited answer in seconds

Dirk Beyer

Summary

Dirk Beyer is a human[1]. He was born on +1972-00-00T00:00:00Z[2]. He worked as a professor[3], computer scientist[4], and university teacher[5].

Key Facts

  • Dirk Beyer was born on +1972-00-00T00:00:00Z[2].
  • Dirk Beyer worked as a professor[3].
  • Dirk Beyer worked as a computer scientist[4].
  • Dirk Beyer's professions included university teacher[5].
  • Dirk Beyer's field of work was computer science[6].
  • Dirk Beyer's field of work was software engineering[7].
  • Dirk Beyer's field of work was formal verification[8].
  • Dirk Beyer's field of work was programming language[9].
  • Dirk Beyer's field of work was real-time computer system[10].
  • Dirk Beyer was employed by Ludwig-Maximilians-Universität München[11].
  • Dirk Beyer is recorded as male[12].
  • Dirk Beyer's instance of is recorded as human[13].
  • Dirk Beyer's ISNI is recorded as 0000000015729532[14].
  • Dirk Beyer's VIAF cluster ID is recorded as 15704669[15].
  • Dirk Beyer's GND ID is recorded as 124429041[16].
  • Dirk Beyer's Library of Congress authority ID is recorded as nb2013012892[17].
  • Dirk Beyer's IdRef ID is recorded as 197629547[18].
  • Dirk Beyer's ORCID iD is recorded as 0000-0003-4832-7662[19].
  • Dirk Beyer's NL CR AUT ID is recorded as ntk20241224424[20].
  • Dirk Beyer's family name is recorded as Beyer[21].
  • Dirk Beyer's given name is recorded as Dirk[22].
  • Dirk Beyer's official website is recorded as https://www.sosy-lab.org/people/beyer/[23].
  • Dirk Beyer's ACM Digital Library author ID is recorded as 81100495756[24].
  • Dirk Beyer's ResearcherID is recorded as R-2534-2017[25].
  • Dirk Beyer's Scopus author ID is recorded as 55170129200[26].

Body

Origins and Family

Dirk Beyer was born on +1972-00-00T00:00:00Z[2].

Career and Affiliations

Recorded occupations include professor[3], computer scientist[4], and university teacher[5]. Fields of work include computer science[6], an academic discipline[27]; software engineering[7], a branch of computer science[28]; formal verification[8]; programming language[9], a computer science term[29]; and real-time computer system[10]. Dirk Beyer was employed by Ludwig-Maximilians-Universität München[11].

FAQs

What did Dirk Beyer do for work?

Dirk Beyer worked as professor[3], computer scientist[4], and university teacher[5].

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

  1. [12] . Virtual International Authority File. wikidata.org.
  2. [13] . wikidata.org.
  3. [6] . Czech National Authority Database. Retrieved . wikidata.org.
  4. [7] . Czech National Authority Database. Retrieved . wikidata.org.
  5. [8] . Czech National Authority Database. Retrieved . wikidata.org.
  6. [9] . Czech National Authority Database. Retrieved . wikidata.org.
  7. [10] . Czech National Authority Database. Retrieved . wikidata.org.
  8. [3] . wikidata.org.
  9. [4] . Czech National Authority Database. Retrieved . wikidata.org.
  10. [5] . Czech National Authority Database. Retrieved . wikidata.org.
  11. [11] . Retrieved . wikidata.org.
  12. [14] . Czech National Authority Database. Retrieved . wikidata.org.
  13. [15] . wikidata.org.
  14. [16] . data.dnb.de. Retrieved . data.dnb.de. Provenance: wikidata.org.
  15. [17] . wikidata.org.
  16. [18] . wikidata.org.
  17. [19] . wikidata.org.
  18. [2] . wikidata.org.
  19. [20] . Czech National Authority Database. Retrieved . wikidata.org.
  20. [21] . wikidata.org.
  21. [22] . wikidata.org.
  22. [23] . ORCID Public Data File 2020. Retrieved . pub.orcid.org. Provenance: wikidata.org.
  23. [24] . wikidata.org.
  24. [25] . ORCID Public Data File 2020. Retrieved . pub.orcid.org. Provenance: wikidata.org.
  25. [26] . wikidata.org.

Inline context (facts about related entities)

  1. [27] . Wikidata. wikidata.org. → on this site
  2. [28] . Wikidata. wikidata.org. → on this site
  3. [29] . Wikidata. wikidata.org. → on this site

Class ancestry

  1. [1] . Wikidata. wikidata.org.

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). Dirk Beyer. Retrieved March 9, 2026, from https://4ort.xyz/entity/dirk-beyer
MLA “Dirk Beyer.” 4ort.xyz Knowledge Graph, 4ort.xyz, 9 Mar. 2026, https://4ort.xyz/entity/dirk-beyer.
BibTeX @misc{4ortxyz_dirk-beyer_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Dirk Beyer}}, year = {2026}, url = {https://4ort.xyz/entity/dirk-beyer}, note = {Accessed: 2026-03-09}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Dirk Beyer — https://4ort.xyz/entity/dirk-beyer (retrieved 2026-03-09)

Canonical URL: https://4ort.xyz/entity/dirk-beyer · Last refreshed:

Edit History

Rolling log of changes to this entity's Wikidata record. Values shown reflect the current state of each edited property — follow the history link to see the precise diff for any edit.

  1. 15d ago · Frettiebot bot · 2026-05-06 view diff on Wikidata ↗
    Date of birth +1972-00-00T00:00:00Z
    "/* wbsetclaim-create:1||1 */ [[Property:P569]]: 1972, Update NK ČR – P569"
  2. 16d ago · Epìdosis · 2026-05-06 view diff on Wikidata ↗
    Field of work computer science, software engineering, formal verification +2
    Field of work
    Nl cr aut id
    Ddb person (gnd) id
    + 47 other properties edited (see Wikidata diff for full list)
    "/* wbeditentity-update:0| */ QuickStatements 3.0 [[:toollabs:qs-dev/batch/29950|batch #29950]]: removal of GND year-precision P569 bis (12), to be readded in a few days with a reference (cf. https://w"
Live feed via Wikidata EventStreams. New edits appear within minutes of being made on Wikidata.