Charles 毕业于卡耐基梅隆大学的人工智能研究中心，师从图领奖得主Allen Newell 。

在博士学习期间，Charles致力于研究如何优化复杂逻辑的执行效率，并发明了第一代的Rete算法，将DEC 的XCON系统（内含10000+条规则）的执行性能提升了近3000倍。后被广泛地应用于早期的专家系统中，显著地提升了底层推理执行速度。

之后，Charles于1983年和2002年分别推出了Rete II和Rete III算法，再次将规则处理效率的天花板提高了一个量级。Rete II比原始的Rete算法快50-100倍，Rete III则在Rete II的基础上进行了扩展，在特定场景表现更优异。

Charles于2009年加入了Sparkling Logic，将其最新的Rete NT算法 独家授权给Sparkling Logic使用，因此SMARTS决策管理平台的决策执行性能十分优异。