Formanek earned his Ph.D. in 1970 from Rice University, under the supervision of Stephen M. Gersten [REF].
In 1972, Formanek was one of two mathematicians to independently discover the central polynomials, which have applications to polynomial identity rings [REF].