Michael Rabin's honorary PhD ceremony
25.