Гаврилов Михаил Александрович (11 (22) 1903, Москва — 1979) — российский ученый, основоположник отечественной информатики, в частности технической кибернетики, теории автоматов и теории ЭВМ; член-корреспондент АН СССР (1964), председатель научного совета по технической кибернетике АН СССР (с 1965). В 1925 году окончил Московское высшее техническое училище, с 1937 года работал в Институте автоматики и телемеханики. Гаврилов выдвинул идею того, что инженерные задачи проектирования устройств релейной автоматики можно решать формальными методами с использованием аппарата математической логики. Он разработал практические методы синтеза схем и устройств, использующих контакты, управляемые с помощью реле; развивал методы автоматического проектирования дискретных управляющих устройств. Основные труды Гаврилова посвящены телемеханике (автор первого в СССР устройства телеуправления), теории релейных устройств и конечных автоматов (теория блочного синтеза, теория структурной надёжности, теория минимизации структур). В 1950 году он опубликовал труд «Теория релейно-контактных схем», ставший первой в мире книгой, посвященной логическим методам анализа и синтеза схем.