Developing and applying diverse inference systems

We focus on formal mathematical and logical foundations of reasoning and on building general‑purpose AI applications. Our work aims for more reliable systems by uniting theory, engineering, and real‑world constraints. This effort includes multidisciplinary collaborations supported by institutional funding, including a jointly held NASA intellectual property grant.

Application areas include financial markets, as well as creative industries, data engineering, data science, cybersecurity, robotics, and mathematical and scientific discovery.

Forthcoming publications include Optimized Reasoning: From Formal Systems to Everyday Interaction.