My current work is centered on first-order systems, computability and the behavior of impredicativity without relying on the full classical apparatus. I came to formal logic also through design: questions of structure, compression, and legibility kept reappearing, only in a stricter language.

I am especially interested in constructive and intuitionist approaches as disciplines of computer science: they treat claims less as abstract assertions and more as procedures that must be effective to be witnessed. This does not make them merely restrictive; it makes them relevant to environments where verification, execution, and trust boundaries matter.

The cybernetic vision of the mid-20th century was ahead of its institutional setting. Today, software mediates coordination, security is adversarial, and “proof” increasingly means verifiable procedure. In this context, constructive semantics offers a useful lens: it asks not only what can be stated, but what is realizable in Kleene's sense.

I am an alumnus of the B.A. program in Gestaltung und Kultur at a University of Applied Sciences in Berlin, and I am currently enrolled in the B.A. Computer Science program at the University of Hagen.