Logic Mentoring Workshop
Home Publications Talks CV Steffen van Bergerem (they/them/he/him)
Logic in Computer Science / Finite Model Theory / Complexity Theory / Computational Learning Theory
I am a postdoctoral researcher at the Chair of Logic in Computer Science at Humboldt-Universität zu Berlin.
Logic Mentoring Workshop