 In 1969, Jeanne Ferrante received her B.A.from New College at Hofstra University in Natural Sciences, with High Honors in Mathematics.She went on to complete a Ph.D. at MIT and wrote her thesis "Some Upper and Lower Bounds on Decision Procedures in Logic".