Peter Bruce Andrews

Background

Andrews, Peter Bruce was born on November 1, 1937 in New York City. Son of F. Emerson and Edith Lilian (Severance) Andrews.

Education

AB, Dartmouth College, 1959; Doctor of Philosophy, Princeton University, 1964.

Career

Assistant professor, Carnegie Mellon U., Pittsburgh, 1963-1968; associate professor, Carnegie Mellon U., Pittsburgh, 1968-1979; professor mathematics, Carnegie Mellon U., Pittsburgh, since 1979. Member program committee 6th Conference Automated Deduction, 1982, 7th Conference, 1984, 9th Conference, 1988, 10th Conference, 1990, 11th Conference, 1992. Invited speaker 8th Conference, 1986.

Achievements

• Peter Bruce Andrews has been listed as a noteworthy Mathematics educator by Marquis Who's Who.

Membership

Member American Association for the Advancement of Science, Association Automated Reasoning, American Association Artificial Intelligence, Association Computing Machinery, Dozenal Society American, Association Symbolic Logic, Association Computerized Logic Teaching, Phi Beta Kappa.

Connections

Married Catherine Jeanine Clair, June 1, 1985. Children: Lyle, Bruce.

Father:

F. Emerson Andrews

Mother:

Edith Lilian (Severance) Andrews

Spouse:

Catherine Jeanine Clair

child:

Lyle Andrews

child:

Bruce Andrews