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, lead of iol.COMP group, and 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 on topics relating to AI, discrete mathematics, and formal proof verification. 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.
Also check out my IOL profile.
Conference and Workshop Talks
October 2024
41st
Kolloquium über Kombinatorik (KolKom), Heidelberg
[PDF]
September 2024
5th
CO@Work Summer school, Berlin
[PDF]
July 2024
13th
Discrete Mathematics Days (DMD), Alcalá de Henares
[PDF]
October 2023
BMS RTA 8 - Practical Course, Berlin
[PDF]
August 2023 12th EUROCOMB Conference, Prague [PDF]
October 2024
41st
Kolloquium über Kombinatorik (KolKom), Heidelberg
[PDF]
September 2024
5th
CO@Work Summer school, Berlin
[PDF]
July 2024
13th
Discrete Mathematics Days (DMD), 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, Paris
[PDF]
May 2023
15th
CANT Conference, New York
[PDF]
March 2023
Workshop on Optimization and ML, Waischenfeld
[PDF]
February 2023
37th
AAAI Conference, Washington, DC
[PDF]
January 2023
Aussois Workshop, Aussois
[PDF]
December 2022
Recent Advances in Optimization, Toronto
[PDF]
September 2022
6th
ZIB-IMI-ISM-NUS-RIKEN-MODAL Workshop, Tokyo / Fukuoka
[PDF]
July 2022
12th
Discrete Mathematics Days (DMD), Santander
[PDF]
June 2019
36th
PCC Conference, Oxford
[PDF]
June 2019
1st
GAPCOMB Workshop, Campelles
June 2018
11th
Discrete Mathematics Days (DMD), Sevilla
[PDF]
May 2018
10th
CANT Conference, New York
[PDF]
September 2017
The Music of Numbers Conference, Madrid
[PDF]
June 2017
Interactions with Combinatorics
[PDF]
March 2017 Joint TAU-FUB Workshop on Graph and Hypergraph Coloring
Seminar Talks
December 2024
Research Seminar Combinatorics, Berlin
[PDF]
November 2024
Research Seminar Combinatorics, Berlin
February 2023
LIMDA Seminar, Barcelona
[PDF]
April 2022
LIMDA Seminar, Barcelona
November 2019 Research Seminar Combinatorics, Berlin
December 2024
Research Seminar Combinatorics, Berlin
[PDF]
November 2024
Research Seminar Combinatorics, Berlin
February 2023
LIMDA Seminar, Barcelona
[PDF]
April 2022
LIMDA Seminar, Barcelona
November 2019
Research Seminar Combinatorics, Berlin
November 2019
Research Seminar Large Networks and Random Graphs, Ilmenau
May 2019
Seminar on Combinatorics, Games and Optimisation, London
May 2019
Combinatorial Theory Seminar, Oxford
February 2019
Extremal Set Theory Seminar, Budapest
December 2018
Research Seminar Combinatorics, Berlin
March 2018
GRAPHS at IMPA, Rio de Janeiro
December 2017
Research Seminar Combinatorics, Berlin
October 2017
LIMDA Seminar, Barcelona
May 2017
LIMDA Seminar, Barcelona
March 2016
LIMDA Seminar, Barcelona
February 2016
Research Seminar Combinatorics, Berlin
January 2016
Research Seminar Combinatorics, Berlin
December 2015
"What is ...?" seminar
October 2015 Research Seminar Combinatorics, Berlin
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:
Impressum und Datenschutzerklärung
Impressum
Angaben gemäß § 5 TMG:
Christoph Spiegel
c/o Zuse-Institut Berlin (ZIB), Takustraße 7, 14195 Berlin, Deutschland
E-Mail: spiegel@zib.de, Telefon: +49 30 84185-436
Datenschutzerklärung
1. Verantwortlicher
Der Verantwortliche im Sinne der DSGVO ist die im Impressum genannte Person.
2. Art der Datenerhebung
Bei jedem Aufruf dieser Webseite erfasst der Webserver automatisch folgende Daten: (1) IP-Adresse des anfragenden Rechners, (2) Datum und Uhrzeit des Zugriffs, (3) Name und URL der abgerufenen Datei, (4) Website, von der aus der Zugriff erfolgt, (5) Verwendeter Browser und ggf. das Betriebssystem Ihres Rechners. Diese Daten werden nur zur technischen Bereitstellung der Website benötigt und nach spätestens 7 Tagen gelöscht.
3. Hosting
Der Hoster STRATO AG erhebt in sog. Logfiles folgende Daten, die Ihr Browser übermittelt: IP-Adresse, die Adresse der vorher besuchten Website (Referer Anfrage-Header), Datum und Uhrzeit der Anfrage, Zeitzonendifferenz zur Greenwich Mean Time, Inhalt der Anforderung, HTTP-Statuscode, übertragene Datenmenge, Website, von der die Anforderung kommt und Informationen zu Browser und Betriebssystem. Das ist erforderlich, um diese Website anzuzeigen und die Stabilität und Sicherheit zu gewährleisten. Dies entspricht unserem berechtigten Interesse im Sinne des Art. 6 Abs. 1 S. 1 lit. f DSGVO.
4. Ihre Rechte
Sie haben gegenüber uns folgende Rechte hinsichtlich der Sie betreffenden personenbezogenen Daten: (1) Recht auf Auskunft, (2) Recht auf Berichtigung oder Löschung, (3) Recht auf Einschränkung der Verarbeitung, (4) Recht auf Widerspruch gegen die Verarbeitung, (5) Recht auf Datenübertragbarkeit
Sie haben außerdem das Recht, sich bei einer Datenschutz-Aufsichtsbehörde über die Verarbeitung Ihrer personenbezogenen Daten zu beschweren.