John Waldron, Trinity College Dublin