Крупнейший ученый в области матмоделирования и супер-ЭВМ стал членом-корреспондентом РАН