Educational Background:
- B.S. in Physics, University of Wisconsin, Madison, 1967
- M.A. in Mathematics, University of Northern Iowa, 1969
- M.S. Computer Science, University of Iowa, 1979
- Ph.D. Mathematics, University of Iowa, 1975
Teaching Experience:
- Bucknell University, 1983 - Present
Professional Experience:
- Hewlett-Packard
- Bell Laboratories
Primary Courses:
- CSCI 203: Introduction to Computer Science I
- CSCI 208: Programming Languages Design
- CSCI 315: Operating Systems Design
- CSCI 341: Theory of Computation
- CSCI 379: Topics in Computer Science - Object Oriented Programming Languages
Research Interests:
- Programming language theory including type theory and deductive systems Current Research:
- National Science Foundation funded project to bring semi-formal semantic techniques into the introductory programming sequence. Also investigating, with Professor James Lu, the use of deduction as a unifying theme in the programming languages course. His other current project involves discovering new methods for bringing formal programming techniques into an introductory programming course.
|