David Clarke: PhDs & DPhils supervised