About me

Hi! I am a PhD student in the MIAO Group headed by Jakob Nordström, active at Lund University and the University of Copenhagen. My research concerns computational complexity theory and proof complexity in particular. I am interested both in lower bounds and in interconnections between proof complexity and circuit, query and communication complexity.