If you're still in Edinburgh you might be able to chat to him at the next Ed Lambda (meetup.com/ed-lambda). He attended the last one.