Kenneth James Hamer-Hodges designs secure computers that enforce the science of Object-Oriented Lambda-Calculus, leading design teams in Europe and North America. He presented his ideas at international conferences and innovated trusted computer networks worldwide.