Computer science and math enthusiast.
Was working as a software engineer even before Rust has firstly appeared.
Currently, I am working on boosting Polkadot security by applying formal methods.
Inferara.com founder.