Alexander Grothendieck
Formally smooth maps were defined by Alexander Grothendieck in "Éléments de géométrie algébrique" IV.