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