学系毕业。他的最有名成果是在博士论文中对希尔伯特第十问题给了否定答案，于斯捷克洛夫数学研究所列宁格勒分所发表。1997年他获选为俄罗斯科学院院士。他现在俄罗斯科学院斯捷克洛夫数学研究所圣彼得堡分所（即以前的斯捷克洛夫数学研究所列宁格勒分所）领导数理逻辑实验室。