академик Юрий Леонидович Ершов получил премию Лобачевского за: Топология для дискретной математики.

академик Юрий Леонидович Ершов - лауреат премии им. Н.И.Лобачевского! Международная награда вручается за выдающиеся работы в области фундаментальной и прикладной математики. Юрий Ершов – профессор, академик РАН, главный научный сотрудник Института математики им. С.Л. Соболева СО РАН, был выдвинут Ученым советом Новосибирского государственного университета и академиком РАН С. Гончаровым за цикл работ по разработке топологии для дискретной математики, которые изложены в его итоговой монографии «Топология для дискретной математики». PS: От себя хотелось бы отметить, что Ю. Л. Ершов один из основателей Задачного подхода, а также концепции Семантического Программирования. Эти направления сейчас легли в основу Объяснительного Искусственного Интеллекта.