Johan Wästlund

Associate Professor, Mathematical Sciences

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

Published: Thu 09 Nov 2017.