Christoph Spiegel

I like using computational tools for theoretical mathematics. Lately, I have used flag algebras, semidefinite programming, machine learning, and discrete optimization to improve some long-standing bounds in extremal combinatorics and discrete geometry. Currently, I am exploring the areas of proof verification and assistance.

📬 Contact

office: Room 3036 at ZIB
e-mail: spiegel (at) zib.de
spiegel (at) campus.tu-berlin.de
homepage: christophspiegel.berlin
languages: German, English, and French

🎓 Curriculum vitae

since 2024: Postdoc Representative at MATH+
since 2022: Deputy Department Head at ZIB
since 2020: Member of MATH+
since 2020: Researcher at ZIB

View More / Less

Jun 2020: Ph.D. in Applied Mathematics at UPC
2015 to 2016: Member of BMS
2014 to 2015: Research Assistant at ZIB
Mar 2015: M.Sc. in Mathematics at FUB
Dec 2012: B.Sc. in Mathematics at FUB

📝 Publications and preprints

Preprints

Parczyk, O., and Spiegel, C. (2024). An Unsure Note on an Un-Schur Problem. [arXiv]

[BibTeX]

@misc{2024_ParczykSpiegel_UnSchur,
  archiveprefix = {arXiv},
  eprint = {2410.22024},
  primaryclass = {math.CO},
  year = {2024},
  author = {Parczyk, Olaf and Spiegel, Christoph},
  title = {An Unsure Note on an Un-Schur Problem}
}

Zimmer, M., Andoni, M., Spiegel, C., and Pokutta, S. (2023). PERP: Rethinking the Prune-Retrain Paradigm in the Era of LLMs. [arXiv] [code]

[BibTeX]

@misc{2023_ZimmerAndoniSpiegelPokutta_PerpPruneRetrain,
  archiveprefix = {arXiv},
  eprint = {2312.15230},
  primaryclass = {cs.LG},
  year = {2023},
  author = {Zimmer, Max and Andoni, Megi and Spiegel, Christoph and Pokutta, Sebastian},
  title = {PERP: Rethinking the Prune-Retrain Paradigm in the Era of LLMs},
  code = {https://github.com/ZIB-IOL/PERP}
}

Zimmer, M., Spiegel, C., and Pokutta, S. (2022). Compression-aware Training of Neural Networks Using Frank-Wolfe. [arXiv]

[BibTeX]

@misc{2022_ZimmerSpiegelPokutta_Compressionawaretraining,
  archiveprefix = {arXiv},
  eprint = {2205.11921},
  primaryclass = {cs.LG},
  year = {2022},
  author = {Zimmer, Max and Spiegel, Christoph and Pokutta, Sebastian},
  title = {Compression-aware Training of Neural Networks Using Frank-Wolfe}
}

Combettes, C., Spiegel, C., and Pokutta, S. (2020). Projection-free Adaptive Gradients for Large-scale Optimization. [arXiv] [summary] [code]

[BibTeX]

@misc{2020_CombettesSpiegelPokutta_Projectionfreeadaptivegradients,
  archiveprefix = {arXiv},
  eprint = {2009.14114},
  primaryclass = {math.OC},
  year = {2020},
  author = {Combettes, Cyrille and Spiegel, Christoph and Pokutta, Sebastian},
  title = {Projection-free Adaptive Gradients for Large-scale Optimization},
  code = {https://github.com/ZIB-IOL/StochasticFrankWolfe},
  summary = {https://pokutta.com/blog/research/2020/10/21/adasfw.html}
}

Pokutta, S., Spiegel, C., and Zimmer, M. (2020). Deep Neural Network Training with Frank-Wolfe. [arXiv] [summary] [code]

[BibTeX]

@misc{2020_PokuttaSpiegelZimmer_Frankwolfeneuralnetworks,
  archiveprefix = {arXiv},
  eprint = {2010.07243},
  primaryclass = {cs.LG},
  year = {2020},
  author = {Pokutta, Sebastian and Spiegel, Christoph and Zimmer, Max},
  title = {Deep Neural Network Training with Frank-Wolfe},
  code = {https://github.com/ZIB-IOL/StochasticFrankWolfe},
  summary = {https://pokutta.com/blog/research/2020/11/11/NNFW.html}
}

Salia, N., Spiegel, C., Tompkins, C., and Zamora, O. (2019). Independent Chains in Acyclic Posets. [arXiv]

[BibTeX]

@misc{2019_SaliaSpiegelTompkinsZamora_Independentchainsacyclicposets,
  archiveprefix = {arXiv},
  eprint = {1912.03288},
  primaryclass = {math.CO},
  year = {2019},
  author = {Salia, Nika and Spiegel, Christoph and Tompkins, Casey and Zamora, Oscar},
  title = {Independent Chains in Acyclic Posets}
}

Conference proceedings

Kiem, A., Pokutta, S., and Spiegel, C. (2024). The 4-color Ramsey Multiplicity of Triangles. Proceedings of Discrete Mathematics Days. [URL] [arXiv] [code]

[BibTeX]

@inproceedings{2023_KiemPokuttaSpiegel_4colorramsey,
  year = {2024},
  booktitle = {Proceedings of 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 4-color Ramsey Multiplicity of Triangles},
  code = {https://github.com/FordUniver/kps_trianglemult}
}

Zimmer, M., Spiegel, C., and Pokutta, S. (2024). Sparse Model Soups: A Recipe for Improved Pruning Via Model Averaging. Proceedings of International Conference on Learning Representations. [URL] [arXiv]

[BibTeX]

@inproceedings{2023_ZimmerSpiegelPokutta_Sparsemodelsoups,
  year = {2024},
  booktitle = {Proceedings of International Conference on Learning Representations},
  url = {https://iclr.cc/virtual/2024/poster/17433},
  archiveprefix = {arXiv},
  eprint = {2306.16788},
  primaryclass = {cs.LG},
  author = {Zimmer, Max and Spiegel, Christoph and Pokutta, Sebastian},
  title = {Sparse Model Soups: A Recipe for Improved Pruning Via Model Averaging}
}

Kiem, A., Pokutta, S., and Spiegel, C. (2024). Categorification of Flag Algebras. Proceedings of Discrete Mathematics Days. [URL]

[BibTeX]

@inproceedings{2024_KiemPokuttaSpiegel_Categorificationflagalgebras,
  year = {2024},
  booktitle = {Proceedings of 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}
}

Mundinger, K., Pokutta, S., Spiegel, C., and Zimmer, M. (2024). Extending the Continuum of Six-Colorings. Proceedings of Discrete Mathematics Days. [URL] [arXiv]

[BibTeX]

@inproceedings{2024_MundingerPokuttaSpiegelZimmer_SixcoloringsExpansion:1,
  year = {2024},
  booktitle = {Proceedings of Discrete Mathematics Days},
  url = {https://dmd2024.web.uah.es/files/abstracts/paper_27.pdf},
  archiveprefix = {arXiv},
  eprint = {2404.05509},
  author = {Mundinger, Konrad and Pokutta, Sebastian and Spiegel, Christoph and Zimmer, Max},
  title = {Extending the Continuum of Six-Colorings}
}

Zimmer, M., Spiegel, C., and Pokutta, S. (2023). How I Learned to Stop Worrying and Love Retraining. Proceedings of International Conference on Learning Representations. [URL] [arXiv] [code]

[BibTeX]

@inproceedings{2021_ZimmerSpiegelPokutta_Retrainingpruning,
  year = {2023},
  booktitle = {Proceedings of International Conference on Learning Representations},
  url = {https://iclr.cc/virtual/2023/poster/10914},
  archiveprefix = {arXiv},
  eprint = {2111.00843},
  primaryclass = {cs.LG},
  author = {Zimmer, Max and Spiegel, Christoph and Pokutta, Sebastian},
  title = {How I Learned to Stop Worrying and Love Retraining},
  code = {https://github.com/ZIB-IOL/BIMP}
}

Parczyk, O., Pokutta, S., Spiegel, C., and Szabó, T. (2023). Fully Computer-assisted Proofs in Extremal Combinatorics. Proceedings of AAAI Conference on Artificial Intelligence. DOI: 10.1609/aaai.v37i10.26470 [URL] [arXiv] [code]

[BibTeX]

@inproceedings{2022_ParczykPokuttaSpiegelSzabo_Ramseymultiplicityheuristics:1,
  year = {2023},
  booktitle = {Proceedings of AAAI Conference on Artificial Intelligence},
  doi = {10.1609/aaai.v37i10.26470},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/26470},
  archiveprefix = {arXiv},
  eprint = {2206.04036},
  primaryclass = {math.CO},
  author = {Parczyk, Olaf and Pokutta, Sebastian and Spiegel, Christoph and Szabó, Tibor},
  title = {Fully Computer-assisted Proofs in Extremal Combinatorics},
  code = {https://zenodo.org/record/6602512#.YyvFhi8Rr5g}
}

Rué, J. J., and Spiegel, C. (2023). The Rado Multiplicity Problem in Vector Spaces Over Finite Fields. Proceedings of European Conference on Combinatorics. DOI: 10.5817/CZ.MUNI.EUROCOMB23-108 [URL] [arXiv] [code]

[BibTeX]

@inproceedings{2023_RueSpiegel_Radomultiplicity,
  year = {2023},
  booktitle = {Proceedings of European Conference on Combinatorics},
  doi = {10.5817/CZ.MUNI.EUROCOMB23-108},
  url = {https://journals.muni.cz/eurocomb/article/view/35642},
  archiveprefix = {arXiv},
  eprint = {2304.00400},
  primaryclass = {math.CO},
  author = {Rué, Juan José and Spiegel, Christoph},
  title = {The Rado Multiplicity Problem in Vector Spaces Over Finite Fields},
  code = {https://github.com/FordUniver/rs_radomult_23}
}

Parczyk, O., Pokutta, S., Spiegel, C., and Szabó, T. (2022). New Ramsey Multiplicity Bounds and Search Heuristics. Proceedings of Discrete Mathematics Days. [arXiv] [code]

[BibTeX]

@inproceedings{2022_ParczykPokuttaSpiegelSzabo_Ramseymultiplicityheuristics:2,
  year = {2022},
  booktitle = {Proceedings of Discrete Mathematics Days},
  archiveprefix = {arXiv},
  eprint = {2206.04036},
  primaryclass = {math.CO},
  author = {Parczyk, Olaf and Pokutta, Sebastian and Spiegel, Christoph and Szabó, Tibor},
  title = {New Ramsey Multiplicity Bounds and Search Heuristics},
  code = {https://zenodo.org/record/6602512#.YyvFhi8Rr5g}
}

Rué, J. J., and Spiegel, C. (2018). On a Problem of Sárközy and Sós for Multivariate Linear Forms. Proceedings of Discrete Mathematics Days. [URL] [arXiv]

[BibTeX]

@inproceedings{2018_RueSpiegel_Srkzyss:1,
  year = {2018},
  booktitle = {Proceedings of Discrete Mathematics Days},
  url = {https://congreso.us.es/dmd2018/wp-content/uploads/2018/05/DMD2018_paper_21.pdf},
  archiveprefix = {arXiv},
  eprint = {1802.07597},
  primaryclass = {math.CO},
  author = {Rué, Juan José and Spiegel, Christoph},
  title = {On a Problem of Sárközy and Sós for Multivariate Linear Forms}
}

Kusch, C., Rué, J. J., Spiegel, C., and Szabó, T. (2017). Random Strategies Are Nearly Optimal for Generalized Van Der Waerden Games. Proceedings of European Conference on Combinatorics. [URL] [arXiv]

[BibTeX]

@inproceedings{2017_KuschRueSpiegelSzabo_Uniformrandomstrategy:1,
  year = {2017},
  booktitle = {Proceedings of European Conference on Combinatorics},
  url = {https://dmg.tuwien.ac.at/eurocomb2017/index.php/accepted-papers/},
  archiveprefix = {arXiv},
  eprint = {1711.07251},
  primaryclass = {math.CO},
  author = {Kusch, Christopher and Rué, Juan José and Spiegel, Christoph and Szabó, Tibor},
  title = {Random Strategies Are Nearly Optimal for Generalized Van Der Waerden Games}
}

Full articles

Parczyk, O., Pokutta, S., Spiegel, C., and Szabó, T. (2024). New Ramsey Multiplicity Bounds and Search Heuristics. Foundations of Computational Mathematics. DOI: 10.1007/s10208-024-09675-6 [arXiv] [code]

[BibTeX]

@article{2022_ParczykPokuttaSpiegelSzabo_Ramseymultiplicityheuristics,
  year = {2024},
  journal = {Foundations of Computational Mathematics},
  doi = {10.1007/s10208-024-09675-6},
  archiveprefix = {arXiv},
  eprint = {2206.04036},
  primaryclass = {math.CO},
  author = {Parczyk, Olaf and Pokutta, Sebastian and Spiegel, Christoph and Szabó, Tibor},
  title = {New Ramsey Multiplicity Bounds and Search Heuristics},
  code = {https://zenodo.org/record/6602512#.YyvFhi8Rr5g}
}

Mundinger, K., Pokutta, S., Spiegel, C., and Zimmer, M. (2024). Extending the Continuum of Six-Colorings. Geombinatorics Quarterly, XXXIV. [URL] [arXiv]

[BibTeX]

@article{2024_MundingerPokuttaSpiegelZimmer_SixcoloringsExpansion,
  year = {2024},
  journal = {Geombinatorics Quarterly},
  volume = {XXXIV},
  url = {https://geombina.uccs.edu/past-issues/volume-xxxiv},
  archiveprefix = {arXiv},
  eprint = {2404.05509},
  author = {Mundinger, Konrad and Pokutta, Sebastian and Spiegel, Christoph and Zimmer, Max},
  title = {Extending the Continuum of Six-Colorings}
}

Kamčev, N., and Spiegel, C. (2022). Another Note on Intervals in the Hales-Jewett Theorem. Electronic Journal of Combinatorics, 29(1). DOI: 10.37236/9400 [URL] [arXiv]

[BibTeX]

@article{2018_KamcevSpiegel_Halesjewettintervals,
  year = {2022},
  journal = {Electronic Journal of Combinatorics},
  volume = {29},
  number = {1},
  doi = {10.37236/9400},
  url = {https://combinatorics.org/ojs/index.php/eljc/article/view/v29i1p62},
  archiveprefix = {arXiv},
  eprint = {1811.04628},
  primaryclass = {math.CO},
  author = {Kamčev, Nina and Spiegel, Christoph},
  title = {Another Note on Intervals in the Hales-Jewett Theorem}
}

Cao-Labora, G., Rué, J. J., and Spiegel, C. (2021-10). An Erdős-Fuchs Theorem for Ordered Representation Functions. Ramanujan Journal, 56, 183–2091. DOI: 10.1007/s11139-020-00326-2 [URL] [arXiv]

[BibTeX]

@article{2019_CaolaboraRueSpiegel_Erdosfuchs,
  year = {2021-10},
  journal = {Ramanujan Journal},
  volume = {56},
  pages = {183-2091},
  doi = {10.1007/s11139-020-00326-2},
  url = {https://link.springer.com/article/10.1007/s11139-020-00326-2},
  archiveprefix = {arXiv},
  eprint = {1911.12313},
  primaryclass = {math.NT},
  author = {Cao-Labora, Gonzalo and Rué, Juan José and Spiegel, Christoph},
  title = {An Erdős-Fuchs Theorem for Ordered Representation Functions}
}

Fabian, D., Rué, J. J., and Spiegel, C. (2021-08). On Strong Infinite Sidon and Bₕ Sets and Random Sets of Integers. Journal of Combinatorial Theory, Series A, 182. DOI: 10.1016/j.jcta.2021.105460 [URL] [arXiv]

[BibTeX]

@article{2019_FabianRueSpiegel_Strongsidonsets,
  year = {2021-08},
  journal = {Journal of Combinatorial Theory, Series A},
  volume = {182},
  doi = {10.1016/j.jcta.2021.105460},
  url = {https://sciencedirect.com/science/article/abs/pii/S0097316521000595},
  archiveprefix = {arXiv},
  eprint = {1911.13275},
  primaryclass = {math.CO},
  author = {Fabian, David and Rué, Juan José and Spiegel, Christoph},
  title = {On Strong Infinite Sidon and Bₕ Sets and Random Sets of Integers}
}

Corsten, J., Mond, A., Pokrovskiy, A., Spiegel, C., and Szabó, T. (2020-10). On the Odd Cycle Game and Connected Rules. European Journal of Combinatorics, 89. DOI: 10.1016/j.ejc.2020.103140 [URL] [arXiv]

[BibTeX]

@article{2019_CorstenEtAl_Oddcyclegame,
  year = {2020-10},
  journal = {European Journal of Combinatorics},
  volume = {89},
  doi = {10.1016/j.ejc.2020.103140},
  url = {https://sciencedirect.com/science/article/abs/pii/S0195669820300615},
  archiveprefix = {arXiv},
  eprint = {1906.04024},
  primaryclass = {math.CO},
  author = {Corsten, Jan and Mond, Adva and Pokrovskiy, Alexey and Spiegel, Christoph and Szabó, Tibor},
  title = {On the Odd Cycle Game and Connected Rules}
}

Rué, J. J., and Spiegel, C. (2020). On a Problem of Sárközy and Sós for Multivariate Linear Forms. Revista Matemática Iberoamericana, 36(7), 2107–2119. DOI: 10.4171/RMI/1193 [URL] [arXiv]

[BibTeX]

@article{2018_RueSpiegel_Srkzyss,
  year = {2020},
  journal = {Revista Matemática Iberoamericana},
  volume = {36},
  number = {7},
  pages = {2107-2119},
  doi = {10.4171/RMI/1193},
  url = {https://ems.press/journals/rmi/articles/16818},
  archiveprefix = {arXiv},
  eprint = {1802.07597},
  primaryclass = {math.CO},
  author = {Rué, Juan José and Spiegel, Christoph},
  title = {On a Problem of Sárközy and Sós for Multivariate Linear Forms}
}

Candela, P., Serra, O., and Spiegel, C. (2020). A Step Beyond Freĭman’s Theorem for Set Addition Modulo a Prime. Journal De Théorie Des Nombres De Bordeaux, 32(1), 275–289. DOI: 10.5802/jtnb.1122 [URL] [arXiv]

[BibTeX]

@article{2019_CandelaSerraSpiegel_Fremantheorem,
  year = {2020},
  journal = {Journal de Théorie des Nombres de Bordeaux},
  volume = {32},
  number = {1},
  pages = {275-289},
  doi = {10.5802/jtnb.1122},
  url = {https://jtnb.centre-mersenne.org/item/JTNB_2020__32_1_275_0/},
  archiveprefix = {arXiv},
  eprint = {1805.12374},
  primaryclass = {math.CO},
  author = {Candela, Pablo and Serra, Oriol and Spiegel, Christoph},
  title = {A Step Beyond Freĭman's Theorem for Set Addition Modulo a Prime}
}

Kusch, C., Rué, J. J., Spiegel, C., and Szabó, T. (2019-09). On the Optimality of the Uniform Random Strategy. Random Structures & Algorithms, 55(2), 371–401. DOI: 10.1002/rsa.20829 [URL] [arXiv]

[BibTeX]

@article{2017_KuschRueSpiegelSzabo_Uniformrandomstrategy,
  year = {2019-09},
  journal = {Random Structures & Algorithms},
  volume = {55},
  number = {2},
  pages = {371-401},
  doi = {10.1002/rsa.20829},
  url = {https://onlinelibrary.wiley.com/doi/abs/10.1002/rsa.20829},
  archiveprefix = {arXiv},
  eprint = {1711.07251},
  primaryclass = {math.CO},
  author = {Kusch, Christopher and Rué, Juan José and Spiegel, Christoph and Szabó, Tibor},
  title = {On the Optimality of the Uniform Random Strategy}
}

Freĭman, G. A., Serra, O., and Spiegel, C. (2019). Additive Volume of Sets Contained in Few Arithmetic Progressions. INTEGERS, 19. [URL] [arXiv]

[BibTeX]

@article{2018_FreimanSerraSpiegel_Additivevolumearithmeticprogressions,
  year = {2019},
  journal = {INTEGERS},
  volume = {19},
  url = {https://math.colgate.edu/~integers/t34/t34.mail.html},
  archiveprefix = {arXiv},
  eprint = {1808.08455},
  primaryclass = {math.NT},
  author = {Freĭman, Gregory A. and Serra, Oriol and Spiegel, Christoph},
  title = {Additive Volume of Sets Contained in Few Arithmetic Progressions}
}

Rué, J. J., Spiegel, C., and Zumalacárregui, A. (2018). Threshold Functions and Poisson Convergence for Systems of Equations in Random Sets. Mathematische Zeitschrift, 288, 333–360. DOI: 10.1007/s00209-017-1891-2 [URL] [arXiv]

[BibTeX]

@article{2012_RueSpiegelZumalacarregui_ThresholdfunctionsPoissonconvergence,
  year = {2018},
  journal = {Mathematische Zeitschrift},
  month = feb,
  volume = {288},
  pages = {333-360},
  doi = {10.1007/s00209-017-1891-2},
  url = {https://link.springer.com/article/10.1007/s00209-017-1891-2},
  archiveprefix = {arXiv},
  eprint = {1212.5496},
  primaryclass = {math.CO},
  author = {Rué, Juan José and Spiegel, Christoph and Zumalacárregui, Ana},
  title = {Threshold Functions and Poisson Convergence for Systems of Equations in Random Sets}
}

Spiegel, C. (2017). A Note on Sparse Supersaturation and Extremal Results for Linear Homogeneous Systems. Electronic Journal of Combinatorics, 24(3). DOI: 10.37236/6730 [URL] [arXiv]

[BibTeX]

@article{2017_Spiegel_Sparsesupersaturation,
  year = {2017},
  journal = {Electronic Journal of Combinatorics},
  volume = {24},
  number = {3},
  doi = {10.37236/6730},
  url = {https://combinatorics.org/ojs/index.php/eljc/article/view/v24i3p38},
  archiveprefix = {arXiv},
  eprint = {1701.01631},
  primaryclass = {math.CO},
  author = {Spiegel, Christoph},
  title = {A Note on Sparse Supersaturation and Extremal Results for Linear Homogeneous Systems}
}

🔬 Projects

LEAN on Me: Transforming Mathematics Through Formal Verification, Improved Tactics, and Machine Learning

Formal proof verification can both ensure proof correctness and provide new tools and insights to mathematicians. The goals of this project include creating resources for students and researchers, verifying relevant results, improving proof tactics, and exploring Machine Learning approaches.

MATH+ AA5-9

Jan 2024 to Dec 2025

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

Learning Extremal Structures in Combinatorics

Extremal Combinatorics focuses on the maximum or minimum sizes of discrete structures with specific properties, posing significant challenges due to their complexity. Traditional computational approaches often fail due to exponential growth in search spaces, but recent AI advancements, especially in Reinforcement Learning, offer new potential. Applying these AI methods could provide insights into combinatorial problems while also enhancing the understanding of AI techniques in complex, sparse reward environments.

MATH+ EF1-12

Jan 2021 to May 2024

Adaptive Algorithms Through Machine Learning: Exploiting Interactions in Integer Programming

The performance of modern mixed-integer program solvers is highly dependent on a number of interdependent individual components. Using tools from machine learning, we intend to develop an integrated framework that is able to capture interactions of individual decisions made in these components with the ultimate goal to improve performance.

MATH+ EF1-9

Jan 2021 to Dec 2022

💬 Talks and posters

Conference and workshop talks

Oct 2024: Extending the Continuum of Six-Colorings
41st KolKom Conference, Heidelberg [PDF]
Sep 2024: The Role of Machine Learning for Mathematics
5th CO@Work, Berlin [PDF] [video]
Jul 2024: Extending the Continuum of Six-Colorings
13th DMD Conference, Alcalá de Henares [PDF]
Oct 2023: The Role of Machine Learning for Mathematics
BMS RTA 8 - Practical Course, Berlin [PDF]
Aug 2023: The Rado Multiplicity Problem in Vector Spaces Over Finite Fields
12th EuroComb Conference, Prague [PDF]

View More / Less

Aug 2023: Computational Challenges in Flag Algebra Proofs
ICIAM 2023 Minisymposium: Advances in Optimization I, Tokyo [PDF]
Aug 2023: Flag Algebras in Additive Combinatorics
5th DOxML Conference, Tokyo [PDF]
Jun 2023: Towards Flag Algebras in Additive Combinatorics
FoCM 2023 Workshop I.3 Workshop, Paris [PDF]
May 2023: Towards Flag Algebras in Additive Combinatorics
15th CANT Conference, New York [PDF]
Mar 2023: Computer-assisted Proofs in Extremal Combinatorics
Optimization and ML Workshop, Waischenfeld [PDF]
Feb 2023: Fully Computer-assisted Proofs in Extremal Combinatorics
37th AAAI Conference, Washington, DC [PDF]
Jan 2023: Fully Computer-assisted Proof in Extremal Combinatorics
Combinatorial Optimization Workshop, Aussois [PDF]
Dec 2022: Leveraging Combinatorial Symmetries in Flag Algebra-based SDP Formulations
Recent Advances in Optimization Workshop, Toronto [PDF]
Sep 2022: Proofs in Extremal Combinatorics Through Optimization
6th RIKEN-MODAL Workshop, Tokyo / Fukuoka [PDF]
Jul 2022: New Ramsey Multiplicity Bounds and Search Heuristics
12th DMD Conference, Santander [PDF]
Jun 2019: Odd Cycle Games and Connected Rules
36th Postgraduate Combinatorial Conference, Oxford [PDF]
Jun 2019: GAPCOMB Workshop, Campelles
Jun 2018: On a Problem of Sárközy and Sós for Multivariate Linear Forms
11th DMD Conference, Sevilla [PDF]
May 2018: Going Beyond 2.4 in Freiman's 2.4k-theorem
10th CANT Conference, New York [PDF]
Sep 2017: Rado Positional Games
The Music of Numbers Conference, Madrid [PDF]
Jun 2017: Generalized Positional Van Der Waerden Games
Interactions with Combinatorics [PDF]
Mar 2017: FUB-TAU Workshop

Research seminar talks

Feb 2023: The Four-color Ramsey Multiplicity of Triangles
LIMDA Seminar, Barcelona [PDF]
Apr 2022: New Ramsey Multiplicity Bounds and Search Heuristics
LIMDA Seminar, Barcelona
Nov 2019: A Step Beyond Freiman's Theorem for Set Addition Modulo a Prime
Research Seminar Combinatorics, Berlin
Nov 2019: The Probabilistic Intuition in Positional Games
Research Seminar Large Networks and Random Graphs, Ilmenau
May 2019: Intervals in the Hales-Jewett Theorem
Seminar on Combinatorics, Games and Optimisation, London

View More / Less

May 2019: Intervals in the Hales-Jewett Theorem
Combinatorial Theory Seminar, Oxford
Feb 2019: Extremal Set Theory Seminar, Budapest
Dec 2018: Intervals in the Hales-Jewett Theorem
Research Seminar Combinatorics, Berlin
Mar 2018: Going Beyond 2.4 in Freiman's 2.4k-theorem
GRAPHS at IMPA, Rio de Janeiro
Dec 2017: On a Question of Sárközy and Sós
Research Seminar Combinatorics, Berlin
Oct 2017: Sparse Supersaturation and Extremal Results for Linear Homogeneous Systems
LIMDA Seminar, Barcelona
May 2017: Random Strategies Are Nearly Optimal for Generalized Van Der Waerden Games
LIMDA Seminar, Barcelona
Mar 2016: Threshold Functions for Systems of Equations in Random Sets
LIMDA Seminar, Barcelona
Feb 2016: Van Der Waerden Games (II)
Research Seminar Combinatorics, Berlin
Jan 2016: Van Der Waerden Games (I)
Research Seminar Combinatorics, Berlin
Dec 2015: What Is Discrete Fourier Analysis?
"What Is ...?" Seminar [video]
Oct 2015: Threshold Functions for Systems of Equations in Random Sets
Research Seminar Combinatorics, Berlin

👨‍🏫Teaching

winter 2024: Lecturer for Formal Proof Verification at FUB
summer 2024: Lecturer for Discrete Optimization (ADM II) at TUB
winter 2023: Lecturer for Introduction to Linear and Combinatorial Optimization (ADM I) at TUB
summer 2023: Lecturer for Analysis I und Lineare Algebra für Ingenieurwissenschaften at TUB
autumn 2018: Assistant for Discrete Mathematics and Optimization at UPF

View More / Less

autumn 2017: Assistant for Discrete Mathematics and Optimization at UPF
winter 2013: Tutor for Analysis I (Lehramt) at FUB
summer 2012: Tutor for Analysis II (Lehramt) at FUB
summer 2011: Tutor for Analysis I (Lehramt) at FUB

📝 Organization and outreach

Jun 2024: Lange Nacht der Wissenschaften at Zuse Institute Berlin
2024: Organization of the Zuse Research Seminar and Zuse Research Colloquium
2024: Creation and maintenance of the Berlin Math Seminars overview page
2024: Organization of ZIB40 events
Jun 2023: Lange Nacht der Wissenschaften at Zuse Insittute Berlin
2023: Organization of the Zuse Research Seminar
2023: Member of the organizing committee of the MATH+ Thematic Einstein Semester in Berlin
Nov 2022: Assisted in the organization of the Festkolloquium for Martin Aigner in Berlin
Apr 2022: Girls’ Day at Freie Universität Berlin
Sep 2021: Member of the organizing committee of the EUROCOMB conference in Barcelona
Apr 2021: Girls’ Day at Freie Universität Berlin
Sep 2020: Organised exercise session on Robust Machine Learning for CO@Work summer school in Berlin
Oct 2017: Member of the organizing committee of the BMS-BGSMath Junior Meeting in Barcelona
Jul 2016: Assisted in the organization of the Symposium Diskrete Mathematik in Berlin
Jun 2016: Assisted in the organization of the Discrete Mathematics Days in Barcelona

🎈 Miscellaneous

You can find some of my photography on instagram:

Some of my photography I also like designing the occasional conference poster: A collection of conference posters that I have made