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.