computer science phd student at st andrews. into constraint programming research (mostly modelling), enjoys using functional programming (mostly haskell).