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

http://reff.net.ua/