My earlier work in design cultivated a lasting interest in structural clarity and disciplined abstraction. This eventually led to a shift toward formal logic, with a particular emphasis on first-order systems and constructive semantics—areas that often sit in the shadow of late-20th-century classical revivals.

My current research examines how impredicativity develops when separated from the full classical apparatus. The aim is to restrict the ontological commitments that typically accompany such constructions, and thereby retain constructive control over expressive resources: a mechanism that functions as a sink under the Brouwer–Heyting–Kolmogorov Interpretation.

In the mid-20th century, the cybernetic vision was ahead of its institutional time. Today, the world has become cybernetic in fact: software mediates nearly all coordination, security is adversarial, and “proof” means not just “truth” by opinion but “verification” by procedures. The constructive viewpoint is no longer “philosophical,” it is arguably the natural epistemology of our computational civilization.