He is an associate of Korson-McGregor and has taught courses in object-oriented analysis, design, and testing. He was a developer of test cases in the Ada Compiler Validation Capability (ACVC) and the Jovial Compiler Validation Suite (JCVS).