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
- Kiem, A., Parczyk, O., and Spiegel, C. (2024). Forcing Graphs to Be Forcing.
[arXiv]
[BibTeX]
Conference proceedings
- Kiem, A., Pokutta, S., and Spiegel, C. (2024). The Four-color Ramsey Multiplicity of Triangles. Proceedings of the Discrete Mathematics Days.
[URL]
[arXiv]
[code]
[BibTeX]
- Kiem, A., Pokutta, S., and Spiegel, C. (2024). Categorification of Flag Algebras. Proceedings of the Discrete Mathematics Days.
[URL]
[BibTeX]
🔬 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
- 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
Poster presentations
- Jul 2024
- Categorification of Flag Algebras
13th Discrete Mathematics Days (DMD), Alcalá de Henares
🌍 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
- 13th Discrete Mathematics Days (DMD), Alcalá de Henares
- Jul 2024
- 25th International Symposium on Mathematical Programming (ISMP), Montréal
- 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