Jörg Flum

• Computer Science Logic
• Einführung in die mathematische Logik
• Finite model theory
• Logic and automata
• Parameterized complexity theory
• Topological Model Theory