Scholar
Johannes Carmesin
Google Scholar ID: tmp3YywAAAAJ
Full Professor, TU Freiberg
Citations & Impact
Citations
388
H-index
12
i10-index
15
Publications
20
Co-authors
0
Contact
Publications
Resume (English only)
Academic Achievements
- Received the European Prize in Combinatorics in 2023 for his 3-dimensional Kuratowski-type theorems.
Research Experience
- Currently a professor at the Discrete Structures group at TU Freiberg, leading the ProofBench project which develops a benchmark suite for evaluating AI theorem provers. Has supervised multiple postdoctoral researchers and interns.
Background
- Research interests include combinatorics in 3 dimensions, graph minors and connectivity, matroids, and infinite graphs. Particularly focused on extending the fundamental methods from Structural Graph Theory to study 2-dimensional simplicial complexes.
Miscellany
- Hiring a 3-year Postdoctoral Researcher to take a leading role in large-scale grant applications, drive the project scientifically, build collaborations, and engage with the Lean formalisation ecosystem.
Co-authors