Prof. dr. Nicolaas Govert (roepnaam Dick) de Bruijn, geboren op 9 juli 1918 te Den Haag en overleden op 17 februari 2012 te Nuenen, was wiskundige en professor aan de Technische Universiteit Eindhoven. De Bruijn studeerde van 1936-1941 wiskunde aan de Rijksuniversiteit Leiden en promoveerde op 26 maart 1943 in de algebraïsche getaltheorie aan de Vrije Universiteit te Amsterdam. Hij is bekend geworden als pionier van het formaliseren; het met de computer wiskundige bewijzen controleren. Eind jaren 70 van de 20e eeuw leidde hij in Eindhoven het 'Automathproject'. Op 1 augustus 1984 ging De Bruijn met emeritaat.