Christoph Spiegel

Teaching

I teach at FUB and TUB, including an annual BMS block course on formal proof verification. Links to course pages are included below.

Lectures

winter 2026/27

Formal Proof Verification (BSc/MSc)

Lecturer · FUB/BMS · 5 ECTS · English

Vorlesungsverzeichnis

summer 2024

Algorithmic Discrete Mathematics II (MSc)

Lecturer · TUB · 10 ECTS · German

Course page Materials

winter 2023/24

Algorithmic Discrete Mathematics I (BSc/MSc)

Lecturer · TUB · 10 ECTS · German

Course page

summer 2023

Analysis I and Linear Algebra for Engineers (BSc)

Co-Lecturer · TUB · 12 ECTS · German

Course page

Short courses & guest lectures

winter 2026/27

Advanced Topics in Deep Learning: AI4Maths (MSc)

Guest Lecturer · TUB · English

September 2020

Robust Machine Learning Tutorial

Instructor · the CO@Work Summer School · English

Course page

Teaching assistance & tutoring

fall 2018

Discrete Mathematics and Optimization (BSc)

Assistant · Universitat Pompeu Fabra · 6 ECTS

fall 2017

Discrete Mathematics and Optimization (BSc)

Assistant · Universitat Pompeu Fabra · 6 ECTS

winter 2013/14

Analysis I (Teacher Training)

Tutor · FUB · 10 ECTS

summer 2012

Analysis II (Teacher Training)

Tutor · FUB · 10 ECTS

summer 2011

Analysis I (Teacher Training)

Tutor · FUB · 10 ECTS