Michael Rabin's honorary PhD ceremony
14.