Steffen van Bergerem

Steffen van Bergerem is a postdoctoral researcher at the Institute of Computer Science, Humboldt University of Berlin, within the Faculty of Mathematics and Natural Sciences. He is affiliated with the Chair of Logic in Computer Science under Prof. Dr. Nicole Schweikardt, where he conducts research in logic, complexity, and computational learning theory.

His research focuses on the intersection of logic and computational complexity, particularly in finite model theory and descriptive complexity of learning. His work bridges theoretical computer science with machine learning foundations, aiming to characterize learning problems through logical definability.

He has contributed to academic service through co-organizing the Logic Mentoring Workshop (with LICS 2023 and CSL 2024/2025) and participating in Dagstuhl seminars and research camps. He has served as a reviewer for major conferences including LICS, STACS, MFCS, and CSL.

• Reviewer, LICS 2024
• Reviewer, STACS 2024
• Reviewer, MFCS 2023
• Reviewer, IPEC 2023
• Reviewer, CSL 2023, CSL 2022
• Reviewer, WoLLIC 2021

Steffen has mentored students at RWTH Aachen and Humboldt University, supervising bachelor’s and master’s theses, proseminars, and practical labs on topics such as information theory and search games on graphs. He has taught courses including Formal Systems, Automata, and Processes; Complexity Theory; and a graduate course on Graph Decompositions.

He is active in open-source software development, contributing to projects like markdown-it and markdown-it-sanitizer, and maintains a GitHub presence with involvement in the logic-mentoring-workshop community.