Curriculum Vitae
Employment
Research Assistant at Humboldt-Universität zu Berlin
- since 11/2022 at Chair of Logic in Computer Science
- Lecturer for Graph Decompositions (graduate course in English and German with roughly 20 students)
and a graduate seminar on Logic and Complexity
Research Assistant at RWTH Aachen University
- 11/2017–07/2022 at Chair for Logic and Theory of Discrete Systems
- Teaching assistant for Formal Systems, Automata, and Processes (undergraduate course in German with roughly 700 students)
and Complexity Theory (graduate course in English with roughly 60 students),
responsible for producing exercise material and teaching exercise courses;
proseminar on information theory, responsible for the organisation of the proseminar as well as for student mentoring;
practical lab on search games on graphs (“Cops and Robber”), responsible for the design and the organisation of the practical lab
as well as for student mentoring;
student mentoring in seminars as well as for Bachelor and Master theses
Student Assistant at RWTH Aachen University
- 06/2015–08/2017 at Chair of Mathematics A, programmer and webmaster for the project “Guter Studienstart im Ingenieurbereich”
- 04/2015–07/2015 at Chair for Logic and Theory of Discrete Systems, tutor for Formal Systems, Automata, and Processes
- 10/2014–01/2015 at Chair for Algorithms and Complexity, tutor for Computability and Complexity
- 04/2014–07/2014 at Chair for Software Modelling and Verification, tutor for Data Structures and Algorithms
- 10/2013–02/2014 at Chair of Statistics, tutor for a course for economics students
- 04/2013–08/2013 at Chair of Statistics, tutor for Stochastics I
- 10/2012–01/2013 at Chair for Software Modelling and Verification, tutor for Programming
Academic Service
- PC member for ICDT 2027
- since 2024: Steering committee of the Logic Mentoring Workshop
- 07/2026: Co-organisation of the FLOC 2026 Mentoring Workshop,
co-located with the Federated Logic Conference (FLOC) 2026 in Lisbon
- 02/2025: Co-organisation of the Workshop on Learning and Logic,
co-located with Computer Science Logic (CSL) 2025 in Amsterdam
- 02/2024: Co-organisation of the Logic Mentoring Workshop,
co-located with Computer Science Logic (CSL) 2024 in Naples
- 06/2023: Co-organisation of the Logic Mentoring Workshop,
co-located with Logic in Computer Science (LICS) 2023 in Boston
- Reviewer for TheoretiCS, LMCS, WADS 2025, LICS 2024, STACS 2024, MFCS 2023, IPEC 2023, CSL 2023, CSL 2022, WoLLIC 2021
Research Visits, Talks, Schools, and Seminars
- 11/2025: Talk at invitational Workshop on Logic, Graphs, and Algorithms (LOGALG) in Vienna, Austria
- 10/2025–11/2025: Research stay at University of Warsaw, Poland, working with Szymon Toruńczyk
- 05/2025: Talk at invitational Workshop on Finite and Algorithmic Model Theory (FMT) in Les Houches, France
- 03/2025: Talk at ICDT in Barcelona, Spain
- 02/2025: Talk at Algorithmic Model Theory Meeting (AlMoTh) in Bamberg, Germany
- 02/2025: Talk at CSL in Amsterdam, Netherlands
- 09/2024: Talk at Highlights of Logic, Games, and Automata in Bordeaux, France
- 02/2024: Participation in Algorithmic Model Theory Meeting (AlMoTh) in Ilmenau, Germany
- 11/2023: Invited participation in Workshop on Logic, Graphs, and Algorithms (LoGAlg) in Warsaw, Poland
- 07/2023: Invited participation in research camp Autobóz on Logic, Automata, and Games in Kassel, Germany
- 03/2023: Participation in Algorithmic Model Theory Meeting (AlMoTh) in Bochum, Germany
- 06/2022: Talk at PODS in Philadelphia, USA
- 03/2022: Participation in Algorithmic Model Theory Meeting (AlMoTh) in Bremen, Germany
- 01/2021: Talk at CSL (virtual)
- 09/2019: Talk at Highlights of Logic, Games, and Automata in Warsaw, Poland
- 09/2019: Invited participation in Dagstuhl Seminar on Logic and Learning
- 06/2019: Talk at LICS in Vancouver, Canada
- 03/2019: Talk at Algorithmic Model Theory Meeting (AlMoTh) in Aachen, Germany
- 07/2018: Participation in Summer School on Logic and Learning in Oxford, UK
- 03/2018: Participation in Algorithmic Model Theory Meeting (AlMoTh) in Berlin, Germany
Education
PhD Studies (Computer Science)
- 2018–2023 at RWTH Aachen University
- Doctoral dissertation: Descriptive Complexity of Learning
- Supervisor: Prof. Dr. Martin Grohe
Master of Science (Mathematics)
- 2015–2017 at RWTH Aachen University
- Application subject: computer science
- Master thesis: Fractional Hypertree Decompositions
- Supervisor: Prof. Dr. Martin Grohe
Bachelor of Science (Mathematics)
- 2011–2015 at RWTH Aachen University
- Application subject: computer science
- Bachelor thesis: Secure Cryptographic Protocol System (SCPS): Distributed Protocol Management System with Distributed Signatures for Big Networks
- Supervisor: PD Dr. Walter Unger
Alternative Civilian Service
- 09/2010–08/2011 School integration assistant at Initiative Integratives Leben, Sonsbeck
Language Skills
- German (native)
- English (fluent)
- Dutch (basic)
- Turkish (basic)
Postal address
Institut für Informatik
Humboldt-Universität zu Berlin
Unter den Linden 6
D-10099 Berlin
Email:
steffen.van.bergerem@hu-berlin.de
