Education and Training Skills:
Auburn University (1983 - 1986)

As classroom Instructor in Computer Science and Engineering:

I served on the committee to design and then taught a 2 quarter sequence in FORTRAN.
I taught a 2 quarter sequence in Pascal.
I taught IBM 370 Assembly Language.

As a Research Associate on an Army BMD research contract:

I was the lead software architect of the path predicate subsystem of a project to automatically construct test cases for black box-testing of FORTRAN programs by constructing and solving implicit path predicates.
For this project, I applied Nonlinear and Mixed Integer Numerical Optimization and Interval Analysis techniques.
In this capacity I specified and designed the software, and supervised several undergraduate student programmers in implementing the design.

Last updated: February 02, 2002; Version: 1.6