Krzysztof Wujs
krzysztofwujs
Tech-agnostic Product Builder | Digital Identity, Zero Knowledge & Smart Contracts | DevX & AI Agents
wujs.xyz Poland
Orestis Melkonian
omelkonian
2023-2026: Formal Methods @input-output-hk, 2019-2023: PhD @ University of Edinburgh, Interests: Programming Languages, Type Theory, Formal Verification
London, UK