Earlier education and work in design fostered a lasting interest in structural clarity and disciplined abstraction. This eventually caused a turn toward formal logic, with an emphasis on first order systems that received comparatively little attention after the late-20th-century revival of classical approaches.

Currently, my life is centered around a research project that examines how selected problem domains evolve when developed outside the full classical apparatus. The aim is to limit the ontological commitments that typically reintroduce impredicative effects into each system separately, one hopes to maintain constructive control over expressive resources, to get a better picture how these pathologies originate and how alternative formulations can absorb them into a single, well-behaved fixed point sink.