I removed all content on this site as it was unmaintained for a long time. Now just kept for contact and CV.