TCS researcher at LMU Munich. I am interested in computational complexity and logic, especially where the two intersect. My main field of work is propositional proof complexity.
Q&A for theoretical computer scientists and researchers in related fields
Q&A for music historians, critics, and fans
Q&A for students, researchers and practitioners of computer science
Q&A for musicians, students, and enthusiasts
Q&A for academics and those enrolled in higher education