Jonas Conneryd

PhD student in proof complexity at Lund University.