PhD position

Dear All, Do any of you know a good student who wants to do a PhD using category theory in computer science? We have a place available for anyone interested in category theory and its applications to things like AI and game theory. I'd be grateful if you could forward this to anyone interested (or any internal email lists) and ask them to contact me. All the best Neil [For admin and other information see: http://www.mta.ca/~cat-dist/ ]