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
Activities in the Research System
- 02/2024: Co-organisation of the Logic Mentoring Workshop,
co-located with Computer Science Logic (CSL) 2024 in Naples
- 07/2023: Participation in the invitational research camp Autobóz on Logic, Automata, and Games
- 06/2023: Co-organisation of the Logic Mentoring Workshop,
co-located with Logic in Computer Science (LICS) 2023 in Boston
- 09/2019: Participation in the Dagstuhl Seminar Logic and Learning
- Reviewer for LICS 2024, STACS 2024, MFCS 2023, IPEC 2023, CSL 2023, CSL 2022, WoLLIC 2021
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
