Robert A. Paige

• Formal differentiation
• Parallel algorithm derivation and program transformation