We investigate electroproduction of pion pairs on the nucleon in the framework of QCD factorization for hard exclusive processes. We extend previous analyses by taking the hard-scattering coefficients at next-to-leading order in α s. The dynamics of the produced pion pair is described by two-pion distribution amplitudes, for which we perform a detailed theoretical and phenomenological analysis....