Johan Wästlund

Professor, Mathematical Sciences

Research interests: random optimization problems, games, automated theorem proving

Published: Thu 07 May 2020.