# Christoph Spiegel

### Researcher working on Combinatorics,

Optimization, and Learning

Room 3036 • 14195 Berlin

**Office hours**

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: