Postdoc in Computer Science working on AI for theorem proving
Short description of portfolio item number 1
Short description of portfolio item number 2