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 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:
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.