Johan Wästlund

Professor, Mathematical Sciences

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

Page manager Published: Thu 07 May 2020.