Milan Rosko
Logician & Designer
Constructive logic, proof theory,
realizability interpretation.
Information design, motion design, signage.
About me
I am an alumnus of the B.A. program in Gestaltung und Kultur (KD) at HTW University of Applied Sciences in Berlin, and I am currently enrolled in the B.A. Computer Science program at the University of Hagen.
My current work focuses on first-order systems, computability, and the behavior of impredicativity without relying on the full classical apparatus. I came to formal logic partly through design: questions of structure, compression, and legibility kept reappearing, only in a stricter language.
Today, software mediates everything, security is adversarial, and “proof” increasingly means verifiable procedure. In this context, constructive semantics provides both a useful lens and a reliable ground truth.
