本书围绕计算机代码的验证工作，以代码验证的背景和历史发展为切入点，从微分方程出发，提出了一个逐步验证代码精度阶的方法和流程。重点讨论了在验证过程中如何设计一套具有覆盖性的测试相关问题。详细介绍了精度阶验证的有关内容，包括代码验证和解验证、代码确认的区别，人造精确解方法，并给出了精度阶验证的实例。

美国桑迪亚国家实验室技术人员的主要成员和Cubit网格项目的成员。1989年获得新墨西哥大学获得应用数学博士学位。此后，他一直致力于计算科学和工程领域的算法开发，特别是结构和非结构网格生成领域。