1st Semester 2012/13: Implementing Basic Voting Theory

Instructors

Jan van Eijck
If you are interested in this project, please contact Jan by email.

ECTS

6

Description

This project starts with a lightning introduction to Haskell, using Doets/Van Eijck, "The Haskell Road to Logic, Maths and Programming" [1], plus an introduction to basic concepts from voting theory, using Taylor, "Social Choice and the Mathematics of Manipulation" [2].

The first two weeks you will develop basic programming skills by going through a substantial number of the programming exercises in the first four chapters of [1]. In the third week, you will be asked to extend the implementation of basic voting theory that can be found at http://www.cwi.nl/~jve/software/voting/ with an implementation of concepts from [2] and from game theory. In the fourth week, you will work on an extension of your own.

The overall aim of the project is to get you so familiar with Haskell and with voting theory that you can use functional programming in the future as a modelling tool for social choice theory.

References

1. K. Doets and J. van Eijck. The Haskell Road to Logic, Maths and Programming. Texts in Computing. College Publications, London, 2004. http://homepages.cwi.nl/~jve/HR/.
2. A.D. Taylor. Social Choice and the Mathematics of Manipulation. Cambridge University Press, 2005.