|
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
|