математик, декан механико-математического факультета МГУ, академик РАН (2003), лауреат Ленинской (1966) и Ломоносовской премий. Его работы были посвящены математической кибернетике и математической логике, во главе факультета он стоял 26 лет.