Alexander Grothendieck
The semistable reduction theorem of Alexander Grothendieck states that an abelian variety acquires semistable reduction over a finite extension of "F".