En su tesis de doctoral en el MIT,<ref>{{Cita web |url=http://dspace.mit.edu/bitstream/handle/1721.1/11173/34541425-MIT.pdf?sequence=2|título= A Symbolic Analysis of Relay and Switching Circuits|obra=Tesis de maestría presentada en MIT|fechaacceso=30 de abril de 2016|fecha=22 de julio de 2012|idioma=inglés}}</ref> demostró cómo el [[álgebra de Boole|álgebra booleana]] se podía utilizar en el análisis y la síntesis de la [[Circuito de conmutación|conmutación]] y de los [[circuito]]s [[señal digital|digitales]]. La tesis despertó un interés considerable cuando apareció en 1938 en las publicaciones especializadas. En 1940 le fue concedido el Premio para ingenieros norteamericanos del [[Instituto Norteamericano Alfred Noble|Instituto Norteamericano Alfred Noble]] de los [[Estados Unidos]],<!--Cuidado: Es Noble, no Nobel: véase http://en.wikipedia.org/wiki/Alfred_Noble_Prize --> otorgado cada año a una persona de no más de treinta años. Un cuarto de siglo más tarde, [[Herman Goldstine]], en su libro ''Las computadoras desde [[Blaise Pascal|Pascal]] hasta [[John von Neumann|Von Neumann]]'', citó su tesis como una de las más importantes de la historia que ayudó a cambiar el diseño de circuitos digitales.
Durante el verano de 1938 realizó trabajos de investigación en el MIT y le fue concedida la [[beca Bolles]] cuando trabajaba como ayudante de enseñanza mientras realizaba un doctorado en matemática. En 1940 estudió un máster en [[ingeniería eléctrica]] y se doctoró en [[filosofía de la matemática]].
