卷曲数变换中的重复规避
与 Geoffrey Caveney、Jeffrey Shallit 合作研究词及其卷曲数变换中的重复规避问题，结合形态构造、Walnut 验证与穷举有限搜索。
这篇论文研究一个有限或无限词与其卷曲数变换同时满足重复规避条件时的结构。针对大小为 2、3、4 的字母表，研究结合了形态构造、穷举有限搜索与自动化验证。
主要结果之一是：在三字母表上，一个词及其卷曲数变换若都要求 overlap-free，则长度最大只能达到 84；而在四字母表上可以构造出无限例子。因此，4 是允许两者同时无限保持 overlap-free 的最小字母表大小。