Американский, шахматист, международный мастер (1977). Профессор математики Университета штата Пенсильвания. Член Американского математического общества.
05.10.2021
Получил степень Ph.D в 1970 году из Университета Райса под руководством Стивена М. Герстена. Работал в Университете штата Пенсильвания с 1978 по 2009 год.
В 1972 году Форманек был одним из двух математиков, которые независимо друг от друга открыли центральные многочлены, которые имеют приложения к полиномиальным кольцам идентичности.
Участник 15-го командного чемпионата мира среди студентов (1968)[1]. Многократный чемпион Пенсильвании по шахматам.