Yup, know him :) He started at St Andrews CS after I had to drop out of my CS PhD due to my neuro illness. But my husband was still doing his CS PhD, and Ian had the office next door to Martin for a year or two. We eventually met up years later and are good friends now. Many shared interests.