([200] ИМЯ ЛИЦА)

Д-р физ.-мат. наук, математик. Специалист в области дискретной математики и математических вопросов кибернетики. Профессор, член-корр. АН СССР и член-корр. РАН. С 1953 года - сотрудник Института прикладной математики. В 1971 году создал в МГУ кафедру теории автоматов и математической логики..