Luigi Ferraro: The homotopy Lie algebra of a Tor-independent tensor product