In his manuscript "A Mathematical theory of Communication", Claude Shannon (1916-2001) provided an outline for how binary logic could be implemented to program a computer.
The very first time a stored-program computer held a piece of software in an electronic memory, and executed it successfully, was 11am, 21 June 1948, at the University of Manchester, on the Small Scale Experimental Machine, also known as the "Baby" computer.