Edgard Pimentel: Regularity theory for nonlinear PDEs