BS, Math (with Honors), Louisiana State University, 1973
PhD, Computer Science, The University of Texas at Austin, 1979