Ph.D., computer science. The Pennsylvania State University. Applied programming language theory and practice, including: parallel and sequential functional, logic and constraint programming, program correctness/verification, object-oriented systems/techniques. Thesis: Issues in the implementation of lazy functional languages.

B.S., physics. United States Military Academy. West Point, NY. (3.9/4.0, 165 credits in 8 semesters). Included physics/chemistry (42.0 credits), electrical/electronics/mechanical engineering (33.0 credits). passed EIT exam (PA). German (13.0 credits).