We focus on formal mathematical and logical foundations of reasoning and on building general‑purpose AI systems. 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.

Applications from these efforts are primarily in financial markets, with prospective applications in cybersecurity, robotics, and mathematical and scientific discovery. Prior work has led to intellectual property licensing agreements, and forthcoming publications include Optimized Reasoning: From Formal Systems to Everyday Interaction.