Christine Paulin-Mohring 是计算机科学家，1991 年将归纳构造演算扩展至更广泛的领域，作为项目早期三位关键创始人之一，并是 ACM Software System Award 获奖团队成员。
