Category Talks

Abstract How do large companies like IBM and Amazon organize, and how does that steer how they find problems to tackle? How is that different from a smaller company like integrate.ai? What is expected from newly recruited people in large…

Abstract We consider a participatory budgeting problem in which each voter submits a proposal for how to divide a single divisible resource (such as money or time) among several possible alternatives (such as public projects or activities) and these proposals…

BIO Marijn Heule is a Research Assistant Professor at the University of Texas at Austin whose research focuses on major challenges in automated reasoning. Marijn Heule´s current research focusses on two major challenges for SAT solving. The first challenge is…