Kilian Risse

About

I am a postdoctoral researcher (Oberassistent) at ETH Zürich hosted by David Steurer. Before that I spent some time at LTH, Lund University hosted by Susanna de Rezende and in an even more distant past I was at EPFL hosted by Ola Svensson. I completed my PhD at KTH Royal Institute of Technology in Sweden under the joint supervision of Per Austrin, Johan Håstad, and Jakob Nordström. I obtained my MSc and BSc from ETH Zürich.

News

• Serving on the Program Committee of the 18th Innovations in Theoretical Computer Science Conference (ITCS) 2027
• The paper Superpolynomial Length Lower Bounds for Tree-Like Semantic Proof Systems with Bounded Line Size was accepted to the 67th Symposium on Foundations of Computer Science 2026 (FOCS)
• The paper The Proof Analysis Problem for Constant-Depth Frege was accepted to the 67th Symposium on Foundations of Computer Science 2026 (FOCS)
• Invited speaker at the logic seminar at the Institute of Mathematics of the Czech Academy of Sciences
• The paper On Cutting Cakes and Crossing Curves was accepted to the 27th Conference on Economics and Computation 2026 (EC)
• Serving on the Program Committee of the 51st International Symposium on Mathematical Foundations of Computer Science (MFCS) 2026
• Inivited speaker at the workshop Bridges between proofs, communication, and computation at the Isaac Newton Intitute in Cambridge
• Plenary speaker at the 9th Workshop on Algebraic Complexity Theory in Copenhagen
• The paper Sum of Squares Lower Bounds for the Minimum Circuit Size Problem was accepted to the journal Theory of Computing

Publications

Service

Program Committee

• 18th Innovations in Theoretical Computer Science Conference (ITCS), 2027
• 51st International Symposium on Mathematical Foundations of Computer Science (MFCS), 2026