(1903-79), російський учений, який стояв біля витоків інформатики в нашій країні, зокрема технічної кібернетики, теорії автоматів та теорії ЕОМ, член-кореспондент АН СРСР (1964).
Висунув ідею про те, що багато інженерні задачі проектування пристроїв релейної автоматики можна вирішувати формальними методами з використанням апарату математичної логіки. Розробив практичні методи синтезу схем і пристроїв, що використовують контакти, керовані за допомогою реле. Розвивав методи автоматичного проектування дискретних керуючих пристроїв.
Основні праці з телемеханіки, теорії релейних пристроїв і кінцевих автоматів. У 1950 році опублікував свою книгу "Теорія релейно-контактних схем", що стала першою в світі книгою, присвяченою логічним методам аналізу і синтезу схем.