PhD student in proof complexity at Lund University and University of Copenhagen.
Short description of portfolio item number 1
Short description of portfolio item number 2