Andrej Bauer

Slovenian Mathematician
Person human Q12784531
Press Enter · cited answer in seconds

Summary

Andrej Bauer was born on May 11, 1971[1]. He has worked as a mathematician[2] and university teacher[3]. He is known by 4 alternative names across languages and contexts.[4]

Key Facts

  • Country of citizenship: Slovenia[5]
  • Employer: University of Ljubljana[6], Institute of Mathematics, Physics, and Mechanics[7]
  • Educated at: Carnegie Mellon University[8]
  • Doctoral advisor: Dana Scott[9]
  • Sex or gender: male[10]
  • Doctoral student: Davorin Lešnik[11], Melita Hajdinjak[12], Gregor K. Dolinar[13]
  • Family name: Bauer[14]
  • Given name: Andrej[15]
  • Official website: https://www.andrej.com/[16]
  • Web feed URL: https://www.andrej.com/feed.xml[17]
  • Languages spoken, written or signed: Slovene[18], English[19]
  • Maintained by WikiProject: WikiProject Mathematics[20]
  • Social media followers: 3987[21], 2774[22], 1315[23], 1333[24], 1370[25]

FAQs

What did Andrej Bauer do for work?

Andrej Bauer worked as a mathematician[2] and university teacher[3].

Where did Andrej Bauer go to school?

Andrej Bauer was educated at Carnegie Mellon University[8].

References

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

Direct Wikidata claims

  1. [10] ↑ . SICRIS. wikidata.org.
  2. [5] ↑ . wikidata.org.
  3. [8] ↑ . wikidata.org.
  4. [2] ↑ . wikidata.org.
  5. [3] ↑ . wikidata.org.
  6. [6] ↑ . Retrieved . wikidata.org.
  7. [7] ↑ . ORCID Public Data File 2023. Retrieved . pub.orcid.org. Provenance: wikidata.org.
  8. [9] ↑ . Mathematics Genealogy Project. wikidata.org.
  9. [11] ↑ . Mathematics Genealogy Project. wikidata.org.
  10. [12] ↑ . Mathematics Genealogy Project. wikidata.org.
  11. [13] ↑ . Mathematics Genealogy Project. wikidata.org.
  12. [1] ↑ . wikidata.org.
  13. [14] ↑ . wikidata.org.
  14. [15] ↑ . wikidata.org.
  15. [16] ↑ . wikidata.org.
  16. [17] ↑ . wikidata.org.
  17. [18] ↑ . CONOR.SI. wikidata.org.
  18. [19] ↑ . CONOR.SI. wikidata.org.
  19. [20] ↑ . wikidata.org.
  20. [21] ↑ . wikidata.org.
  21. [22] ↑ . wikidata.org.
  22. [23] ↑ . wikidata.org.
  23. [24] ↑ . wikidata.org.
  24. [25] ↑ . wikidata.org.

Aggregate / graph-position facts

  1. [4] ↑ . Wikidata aliases. 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). Andrej Bauer. Retrieved May 3, 2026, from https://4ort.xyz/entity/andrej-bauer
MLA “Andrej Bauer.” 4ort.xyz Knowledge Graph, 4ort.xyz, 3 May. 2026, https://4ort.xyz/entity/andrej-bauer.
BibTeX @misc{4ortxyz_andrej-bauer_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Andrej Bauer}}, year = {2026}, url = {https://4ort.xyz/entity/andrej-bauer}, note = {Accessed: 2026-05-03}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Andrej Bauer — https://4ort.xyz/entity/andrej-bauer (retrieved 2026-05-03)

Canonical URL: https://4ort.xyz/entity/andrej-bauer · 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. 10w ago · IntensionalLogician · 2026-08-03 view diff on Wikidata ↗
    Official blog url → https://math.andrej.com/
    Different from → Q130803970
    "/* wbsetclaim-create:2||1 */ Different from: André Bauer"
  2. 15w ago · Reclus · 2026-06-29 view diff on Wikidata ↗
    Domain name → andrej.com
    "/* wbsetclaim-create:2||1 */ Domain name: andrej.com"
  3. 22w ago · Epìdosis · 2026-05-16 view diff on Wikidata ↗
    X (twitter) username → andrejbauer
    Doctoral advisor → Dana Scott
    Viaf cluster id → 100735927
    Orcid id → 0000-0001-5378-0547
    + 33 other properties edited (see Wikidata diff for full list)
    "/* wbeditentity-update:0| */ QuickStatements 3.0 [[:toollabs:qs-dev/batch/31705|batch #31705]]: import P21 and P106 from GND (5)"
Live feed via Wikidata EventStreams. New edits appear within minutes of being made on Wikidata.