Log In

David Hemmendinger Edit Profile

computer science educator

David Hemmendinger, American computer science educator. Achievements include research in formal specification and verification of hardware and software, parallel processing, logic programming and history of computing. Member board officers American Civil Liberties Union, Greene County, Ohio, 1988. Member Association for Computing Machinery, Institute of Electrical and Electronics Engineers (senior ), Phi Beta Kappa, Sigma Xi.

Background

Hemmendinger, David was born on June 24, 1942 in Rochester, New York, United States. Son of Henry and Miriam (Simon) Hemmendinger.

Education

Bachelor in Mathematics, Harvard University, 1962. Master of Science in Mathematics, Stanford University, 1963. Doctor of Philosophy in Philosophy, Yale University, 1973.

Master of Science in Computer Science, Wright State University, 1982.

Career

Assistant professor Richmond College, City University of New York, New York City, 1968-1976. Visiting assistant professor Ohio State University, Columbus, 1976-1977. Research associate Boston University, 1977-1978.

Assistant professor Antioch College, Yellow Springs, Ohio, 1978-1980. Visiting assistant professor Kenyon College, Gambier, 1980-1981. Assistant professor Wright State University, Dayton, 1982-1989.

Associate professor Union College, Schenectady, New York, 1989—2002, professor, since 2002. Board trustees Hall Electrical History, Schenectady, New York, 1994—1998.

Achievements

  • David Hemmendinger has been listed as a noteworthy Computer science educator by Marquis Who's Who.

Membership

Member of the board officers American Civil Liberties Union, Greene County, Ohio, 1988. Member Association for Computing Machinery, Institute of Electrical and Electronics Engineers (senior), Phi Beta Kappa, SigmaXi.

Connections

Married Gail Kort, September 16, 1978. Children: Boris, Marko, Benjamin.

Father:
Henry Hemmendinger

Mother:
Miriam (Simon) Hemmendinger

Spouse:
Gail Kort

child:
Benjamin Hemmendinger

child:
Boris Hemmendinger

child:
Marko Hemmendinger