Carl Pixley

Carl Pixley received B.S., M.S. and Ph.D. degrees in Mathematics from the University of Omaha (1966), Rutgers (1968), and the State University of New York at Binghamton (1971). Jobs: University of Texas faculty, Southwest Texas State University tenured faculty, Burroughs, MCC, Mitsubishi Electric, and Motorola. Dr. Pixley has published papers and patents, and received awards for his scientific and engineering inventions such as, the Pixley-Roy topology, the Eaton-Pixley-Edwards-Miller theorem, and the BDD-based approach to model checking, sequential equivalence, and resetability. He has served on the program committees of ICCD, ICCAD, and CAV.

Email address: pixley@math.sps.mot.com