BS, SUNY at Stony Brook, Mathematics, 1972
MS, SUNY at Stony Brook, Computer Science, 1978
PhD, SUNY at Stony Brook, Computer Science, 1984