Companies Served as a Direct Employee:
Transform Logic Corporation

• I developed and implemented artificial intelligence/expert system tools to reverse-engineer COBOL.
• Techniques included Prolog programming, relational database design and normalization, compiler flow analysis techniques, term rewriting, symbolic algebra, symbolic logic, program graph analysis, program restructuring, symbolic execution, and symbolic logic.

Last updated: February 02, 2002; Version: 1.6