
Aldo Kiem
I am interested in applications of computers in mathematics. Currently, I am working on Razborov’s Flag Algebras in extremal combinatorics.
📬 Contact
- office
- Room 3105 at ZIB
- kiem (at) zib.de
- languages
- German and English
🎓 Curriculum vitae
- since 2022
- Researcher at ZIB
- Oct 2022
- M.Sc. in Mathematics at FUB
- 2019
- B.Sc. in Mathematics at TUB
📝 Publications and preprints
Preprints
- Mundinger, K., Zimmer, M., Kiem, A., Spiegel, C., and Pokutta, S. (2025). Neural Discovery in Mathematics: Do Machines Dream of Colored Planes?
[arXiv]
[BibTeX]
@misc{2025_MundingerZimmerKiemSpiegelPokutta_NeuralDiscovery, archiveprefix = {arXiv}, eprint = {2501.18527}, primaryclass = {cs.LG}, year = {2025}, author = {Mundinger, Konrad and Zimmer, Max and Kiem, Aldo and Spiegel, Christoph and Pokutta, Sebastian}, title = {Neural Discovery in Mathematics: Do Machines Dream of Colored Planes?}, date = {2025-01-30} }
- Kiem, A., Parczyk, O., and Spiegel, C. (2024). Forcing Graphs to Be Forcing.
[arXiv]
[BibTeX]
@misc{2024_KiemParczykSpiegel_Forcing, archiveprefix = {arXiv}, eprint = {2412.12904}, primaryclass = {math.CO}, year = {2024}, author = {Kiem, Aldo and Parczyk, Olaf and Spiegel, Christoph}, title = {Forcing Graphs to Be Forcing}, date = {2024-12-17} }
Conference proceedings
- Kiem, A., Pokutta, S., and Spiegel, C. (2023, December 13). The Four-color Ramsey Multiplicity of Triangles. Proceedings of the Discrete Mathematics Days.
[URL]
[arXiv]
[code]
[BibTeX]
@inproceedings{2023_KiemPokuttaSpiegel_4colorramsey, year = {2024}, booktitle = {Proceedings of the Discrete Mathematics Days}, url = {https://dmd2024.web.uah.es/files/abstracts/paper_3.pdf}, archiveprefix = {arXiv}, eprint = {2312.08049}, primaryclass = {math.CO}, author = {Kiem, Aldo and Pokutta, Sebastian and Spiegel, Christoph}, title = {The Four-color Ramsey Multiplicity of Triangles}, code = {https://github.com/FordUniver/kps_trianglemult}, date = {2023-12-13} }
- Kiem, A., Pokutta, S., and Spiegel, C. (2024). Categorification of Flag Algebras. Proceedings of the Discrete Mathematics Days.
[URL]
[BibTeX]
@inproceedings{2024_KiemPokuttaSpiegel_Categorificationflagalgebras, year = {2024}, booktitle = {Proceedings of the Discrete Mathematics Days}, url = {https://dmd2024.web.uah.es/files/abstracts/paper_47.pdf}, author = {Kiem, Aldo and Pokutta, Sebastian and Spiegel, Christoph}, title = {Categorification of Flag Algebras} }
🔬 Projects
Scaling Up Flag Algebras in Combinatorics
This project aims to obtain new bounds in Extremal Combinatorics through an application of flag algebras. The goal is to both improve the underlying computational aspects for existing problems as well as to further develop the theory of flag algebras to extend it to new areas of application.
MATH+ EF1-21
Oct 2022 to Sep 2025
4
4
💬 Talks and posters
Conference and workshop talks
- Jul 2024
- The Four-Color Ramsey Multiplicity of Triangles
25th International Symposium on Mathematical Programming (ISMP), Montréal - Jul 2024
- The Four-Color Ramsey Multiplicity of Triangles
13th Discrete Mathematics Days (DMD), Alcalá de Henares - Jun 2023
- The 4-color Ramsey Multiplicity of Triangles
FoCM 2023 Workshop I.3: Graph Theory and Combinatorics, Paris
Research seminar talks
- Jan 2025
- Forcing Graphs to Be Forcing
Doctoral Seminar Universität Klagenfurt, Klagenfurt - Nov 2024
- Forcing Graphs and Graph Algebra Operators (2)
Research Seminar Combinatorics, Berlin - Nov 2024
- Forcing Graphs and Graph Algebra Operators (1)
Research Seminar Combinatorics, Berlin - Jun 2024
- Categorification of Flag Algebras
LIMDA Seminar, Barcelona - Feb 2024
- Scaling Up Flag Algebras in Combinatorics
MATH+ Spotlight talks, Berlin - Nov 2022
- Flag Algebras for Edge-colored Graphs
Research Seminar Combinatorics, Berlin
🌍 Research Stays and Visits
- Aug 2024
- Institute of Science Tokyo hosted by Katsuki Fujisawa
- Jun 2024
- Universitat Politècnica de Catalunya hosted by Juan José Rué
📅 Event Attendance
- Aug 2025
- 13th EUROCOMB Conference, Budapest
- Aug 2025
- 22nd RS&A Conference, Vienna
- Jul 2024
- 25th International Symposium on Mathematical Programming (ISMP), Montréal
- Jul 2024
- 13th Discrete Mathematics Days (DMD), Alcalá de Henares
- Jun 2023
- FoCM 2023 Workshop I.3: Graph Theory and Combinatorics, Paris
- Feb 2023
- IPAM Workshop on Machine Assisted Proofs, Los Angeles
👨🏫 Teaching
- summer 2024
- Tutor for Discrete Mathematics I at FUB
📝 Organization and outreach
- 2024
- Organization of the “What is …?” Seminar
- 2023
- Organization of the “What is …?” Seminar