Professor John Waldron
john.waldron@tcd.ie
Tel. +353 (0)1 8963685
School of Computer Science & Statistics,
Room G36,
O'Reilly Institute,
Trinity College,
Dublin 2,
Ireland.