Christoph Spiegel
Researcher working on Combinatorics,
Optimization, and Learning
Room 3036 • 14195 Berlin
Wednesdays at ZIB
by e-mail appointment
about me
I am part of Sebastian Pokutta's IOL lab, deputy head of the AIS2T department at ZIB, and a postdoc representative member of the MATH+ Board.
I defended my PhD in additive and probabilistic combinatorics in 2020 at UPC Barcelona under Juanjo Rué and Oriol Serra and currently work on combinatorics, optimization, and learning. In particular, I like using optimization and AI tools for theoretical maths [1] [2] [3], flag algebras [4] [5] [6], and formal proof verification [7]. Click here for a complete list of my publications.
I teach most semesters at either TUB or FUB, usually on discrete mathematics. My next course is on formal proof verification with Lean. Click here for a complete list of courses.
I maintain both the Berlin Math Seminars page and the Formal Proofs from THE BOOK blog.
Conference and Workshop Talks
October 2024
41st KolKom Conference,
Heidelberg
[PDF]
September 2024
CO@Work,
Berlin
[PDF]
July 2024
13th DMD Conference,
Alcalá de Henares
[PDF]
October 2023
BMS RTA 8 - Practical Course,
Berlin
[PDF]
August 2023 12th EuroComb Conference, Prague [PDF]
October 2024
41st KolKom Conference,
Heidelberg
[PDF]
September 2024
CO@Work,
Berlin
[PDF]
July 2024
13th DMD Conference,
Alcalá de Henares
[PDF]
October 2023
BMS RTA 8 - Practical Course,
Berlin
[PDF]
August 2023
12th EuroComb Conference,
Prague
[PDF]
August 2023
ICIAM 2023 Minisymposium: Advances in Optimization I,
Tokyo
[PDF]
August 2023
5th DOxML Conference,
Tokyo
[PDF]
June 2023
FoCM 2023 Workshop I.3 Workshop,
Paris
[PDF]
May 2023
15th CANT Conference,
New York
[PDF]
March 2023
Optimization and ML Workshop,
Waischenfeld
[PDF]
February 2023
37th AAAI Conference,
Washington, DC
[PDF]
January 2023
combinatorial optimization workshop,
Aussois
[PDF]
December 2022
Recent Advances in Optimization Workshop,
Toronto
[PDF]
September 2022
6th RIKEN-MODAL Workshop,
Tokyo
and
Fukuoka
[PDF]
July 2022
12th DMD Conference,
Santander
[PDF]
June 2019
Postgraduate Combinatorial Conference,
Oxford
[PDF]
June 2019
GAPCOMB Workshop,
Campelles
[PDF]
June 2018
11th DMD Conference,
Sevilla
[PDF]
May 2018
10th CANT Conference,
New York
[PDF]
March 2018
GRAPHS at IMPA,
Rio de Janeiro
[PDF]
September 2017
The Music of Numbers Conference,
Madrid
[PDF]
June 2017
Interactions with Combinatorics
[PDF]
March 2017 FUB-TAU workshop [PDF]
Seminar Talks
February 2023
LIMDA Seminar,
Barcelona
[PDF]
April 2022
LIMDA Seminar,
Barcelona
[PDF]
November 2019
Research Seminar Combinatorics,
Berlin
[PDF]
November 2019
Research Seminar Large Networks and Random Graphs,
Ilmenau
[PDF]
May 2019 Seminar on Combinatorics, Games and Optimisation, London [PDF]
February 2023
LIMDA Seminar,
Barcelona
[PDF]
April 2022
LIMDA Seminar,
Barcelona
[PDF]
November 2019
Research Seminar Combinatorics,
Berlin
[PDF]
November 2019
Research Seminar Large Networks and Random Graphs,
Ilmenau
[PDF]
May 2019
Seminar on Combinatorics, Games and Optimisation,
London
[PDF]
May 2019
Combinatorial Theory Seminar,
Oxford
[PDF]
February 2019
Extremal Set Theory Seminar,
Budapest
[PDF]
December 2018
Research Seminar Combinatorics,
Berlin
[PDF]
December 2017
Research Seminar Combinatorics,
Berlin
[PDF]
October 2017
LIMDA Seminar,
Barcelona
[PDF]
May 2017
LIMDA Seminar,
Barcelona
[PDF]
March 2016
LIMDA Seminar,
Barcelona
[PDF]
February 2016
Research Seminar Combinatorics,
Berlin
[PDF]
January 2016
Research Seminar Combinatorics,
Berlin
[PDF]
December 2015
"What is ...?" seminar
[PDF]
October 2015 Research Seminar Combinatorics, Berlin [PDF]
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
June 2020 Ph.D. in Applied Mathematics at Universitat Politècnica de Catalunya [PDF]
March 2015 Master of Science at Freie Universität Berlin
September 2012 Bachelor of Science at Freie Universität Berlin
Juni 2009 Abitur at Canisius-Kolleg Berlin
You can find some of my photography on instagram. I also like designing the occasional conference poster: