After joining IBM Research in 1972, he built on the work of IBM's Rolf Landauer to show that general-purpose computation can be performed by a logically and thermodynamically reversible apparatus; and in 1982 he proposed a re-interpretation of Maxwell's demon, attributing its inability to break the second law to the thermodynamic cost of destroying, rather than acquiring, information.
Po vstupu do výzkumného programu IBM v roce 1972 pracoval s Rolfe Landauerem kdy ukázali, že všeobecné výpočty může být proveden logicky a termodynamicky reverzibilním přístrojem a v roce 1982 navrhl reinterpretaci maxwellova démona, přisuzující jeho neschopnost prolomit druhý zákon termodynamický ceně za zničení informace.