Computational social choice

Social choice procedures, such as voting mechanisms, play a crucial role in our lives, and are a cornerstone of democratic government. In computational social choice, we look at social choice from the perspective of computer science and artificial intelligence. A key issue is the extent to which aspects of voting are practically computable: a theoretically attractive social choice mechanism would be useless unless it was practically computable, or if it was easy to manipulate.