Carl Preston Pixley

Background

Pixley, Carl Preston was born on November 3, 1942 in Omaha. Son of William Robert and Lillus Marie Pixley.

Education

Bachelor of Science in Mathematics, U. Omaha, 1966; Master of Science in Mathematics, Rutgers University, 1968; Doctor of Philosophy in Mathematics, State University of New York, Binghamton, 1972.

Career

Instructor, University Texas, Austin, 1972-1973; assistant professor, University Texas, Austin, 1974-1977; associate professor, S.W. Texas State University, San Marcos, 1978-1981; senior research scientist, Burroughs Corporation, Austin, 1981-1982; manager, Burroughs Corporation, Austin, 1986-1988; senior member technical staff, Microelectronics and Computer Technology Corporation, Austin, 1988-1992; manager advisory design verification technical, Motorola Inc., Austin, Texas, since 1992. Lecturer in field; invited speaker Schloss Dagstahl workshop on logic representations, Germany, 1996, DIMACS workshop, New Brunswick, New Jersey, 1996, International Test Conference, Washington, 1996, Applied Mathematics Colloquium U. Arizona, 1996, formal verification in industry workshops, 1998, Concurrent Sys. Design Conference, Aizu, Japan, 1998, International Test Conference Roundtable on microprocessor verification, Washington, 1998.

Achievements

• Carl Preston Pixley has been listed as a noteworthy Mathematician by Marquis Who's Who.

Membership

Member Institute of Electrical and Electronics Engineers, American Mathematics Society, Mathematics Association American.

Connections

Married Cynthia Marie Nardone, December 21, 1968. Children: Laura Elizabeth, Margaret Marie.

Father:

William Robert Pixley

Mother:

Lillus Marie Pixley

Spouse:

Cynthia Marie Nardone

child:

Margaret Marie Pixley

child:

Laura Elizabeth Pixley