Currently he works in the Computer Science Department of Villanova University, USA.

• 主要研究领域：逻辑学以及逻辑学在计算机科学中的应用。