'Making decisions collectively in a fair and efficient way is a central part of a well-functioning society. We design and analyse methods for group decision making using tools from the areas of mathematics and logic in small-scale but also in large-scale contexts, like national elections, business choices, negotiations between friends and families, etc.'