Computational social choice is a rapidly evolving research trend concerned with the design and analysis of methods for collective decision making. It combines methods from computer science with insights from economic theory. COST Action IC1205 on Computational Social Choice is a European research network that has been set up to provide a common platform for research in this field across Europe and beyond.
Within this project, we focus on the specification and verification of voting rules. A voting rule, as a method to combine individual preferences to an aggregated election result, is part of the fundamental democratic principles. It is thus vital that voting rules are working as intended. The goal of this project is to develop formal verification techniques which allow to check properties of voting rules without the huge overhead of user interaction needed in full functional verification. The resulting methodology could then be used in an iterative design and implementation process of new voting rules.