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
homepage
christophspiegel.berlin
languages
German, English, and French

🎓 Curriculum vitae

since 2022
Deputy Department Head at ZIB
since 2020
Researcher at ZIB
2016 to 2020
Researcher at UPC
Jun 2020
Ph.D. in Applied Mathematics at UPC
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

  1. 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{zasp_perp_23,
  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}
}
  2. Zimmer, M., Spiegel, C., and Pokutta, S. (2022). Compression-aware Training of Neural Networks Using Frank-Wolfe. [arXiv]
    [BibTeX]
    @misc{zsp_deepsparsefw_22,
  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}
}
  3. Combettes, C., Spiegel, C., and Pokutta, S. (2020). Projection-free Adaptive Gradients for Large-scale Optimization. [arXiv] [summary] [code]
    [BibTeX]
    @misc{csp_adafw_20,
  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}
}
  4. Pokutta, S., Spiegel, C., and Zimmer, M. (2020). Deep Neural Network Training with Frank-Wolfe. [arXiv] [summary] [code]
    [BibTeX]
    @misc{zsp_deepfw_20,
  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}
}
  5. Salia, N., Spiegel, C., Tompkins, C., and Zamora, O. (2019). Independent Chains in Acyclic Posets. [arXiv]
    [BibTeX]
    @misc{sstz_poset_19,
  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

  1. Kiem, A., Pokutta, S., and Spiegel, C. (2024). Categorification of Flag Algebras. Proceedings of Discrete Mathematics Days. [URL]
    [BibTeX]
    @inproceedings{kps_flagalgebracategory_24,
  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}
}
  2. 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{kps_flagalgebrasymmetries_22,
  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}
}
  3. 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{mpsz_hadwigernelsonspectrum_24: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}
}
  4. 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{zsp_modelsoup_23,
  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}
}
  5. 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{ppss_ramsey_22: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}
}
  6. 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{rs_radomult_23,
  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}
}
  7. 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{zsp_retrain_21,
  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}
}
  8. 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{ppss_ramsey_22: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}
}
  9. 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{rs_sarkozysos_18: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}
}
  10. 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{krss_randomstrategy_17: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

  1. Mundinger, K., Pokutta, S., Spiegel, C., and Zimmer, M. (2024). Extending the Continuum of Six-Colorings. Geombinatorics Quarterly, XXXIV. [URL] [arXiv]
    [BibTeX]
    @article{mpsz_hadwigernelsonspectrum_24,
  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}
}
  2. Parczyk, O., Pokutta, S., Spiegel, C., and Szabó, T. (2024). New Ramsey Multiplicity Bounds and Search Heuristics. Foundations of Computational Mathematics. [arXiv] [code]
    [BibTeX]
    @article{ppss_ramsey_22,
  year = {2024},
  journal = {Foundations of Computational Mathematics},
  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}
}
  3. 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{ks_halesjewett_18,
  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}
}
  4. 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{crs_erdosfuchs_19,
  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}
}
  5. 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{frs_sidon_19,
  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}
}
  6. 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{cmpss_oddcyclegame_19,
  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}
}
  7. 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{css_freiman_18,
  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}
}
  8. 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{rs_sarkozysos_18,
  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}
}
  9. 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{krss_randomstrategy_17,
  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}
}
  10. 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{fss_additivevolume_18,
  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}
}
  11. 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{rsz_threshold_12,
  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}
}
  12. 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{spiegel_supersaturation_17,
  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
4
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
3
3
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
4
13
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
5
3

💬 Talks and posters

Conference and workshop talks

Sep 2024
The Role of Machine Learning for Mathematics
5th CO@Work, Berlin
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]
Aug 2023
Computational Challenges in Flag Algebra Proofs
ICIAM 2023 Minisymposium: Advances in Optimization I, Tokyo [PDF]
View More / Less
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 and PhD 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
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 Insittute 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