b. 1942
Jörg Flum is a German mathematical logician known for his contributions to finite model theory, parameterized complexity, and the foundations of logic in computer science. He is professor emeritus at the University of Freiburg and co-author of influential textbooks bridging mathematical logic and theoretical computer science.
Co-authored the foundational textbook 'Mathematical Logic' with Ebbinghaus and Thomas
Co-authored 'Finite Model Theory' with Heinz-Dieter Ebbinghaus, a standard reference in the field
Co-authored 'Parameterized Complexity Theory' with Martin Grohe
Advanced the study of descriptive complexity and logical characterizations of complexity classes
Contributed to the model theory of finite structures and its applications to computer science