Milan Rosko
Logician & Designer
Formal logic, proof theory,
intuitionistic type theory.
Information design, motion design, signage.
About
Alumnus of HTW Berlin University of Applied Sciences with a B.A. in Design and Culture; currently pursuing a B.Sc. in Computer Science at the University of Hagen.
My interdisciplinary work focuses on first principles, computability, and the behavior of impredicativity outside the classical apparatus.
I arrived at formal logic partly through semiotics: questions of structure, compression, and legibility kept reappearing, but in a stricter and more explicit language.
As software mediates much of everyday life, security becomes increasingly adversarial, “proof” comes to mean verifiable procedure. Here, constructive semantics offers a useful lens, and a reliable ground for reasoning that offers stability.
