Виктор Иванников (1940–2007) — советский и российский ученый, основатель Института системного программирования РАН (ИСП РАН). Внес значительный вклад в развитие компиляторов, операционных систем и анализа программного обеспечения. Его работы по формальным методам верификации программ повлияли на современные подходы к разработке надежного ПО.
Биография
#Biography
Please open Telegram to view this post
VIEW IN TELEGRAM
Wikipedia
Иванников, Виктор Петрович
Ви́ктор Петро́вич Ива́нников (27 февраля 1940, Ступино, Московская область — 27 ноября 2016, Москва) — советский и российский учёный в области вычислительной техники и программирования, академик РАН (с 29 мая 2008 года, член-корреспондент АН СССР с 1984 года).…
👍2
Владимир Котельников (1908–2005) — советский ученый, пионер теории связи. Его теорема об отсчетах легла в основу цифровой обработки сигналов, используемой в современных IT-системах, включая сжатие данных и телекоммуникации.
Биография
#Biography
Please open Telegram to view this post
VIEW IN TELEGRAM
mpei.ru
Котельников Владимир Александрович (1908-2005)
👍3