While at General Electric, he developed many principles of computational complexity theory.
Mens han var på General Electric, udviklede han mange principper indenfor den beregningsmæssige kompleksitetsteori.