Aleksandr Karbyshev

Aleksandr Karbyshev is a mathematician with a keen interest in applying rigorous mathematical methods to the verification of software and protocols. He is an advocate for software that is correct by construction and envisions the widespread adoption of formal methods in cryptography and distributed ledger technologies (DLTs). Karbyshev has substantial experience in formal verification, particularly for secure multiparty computations, and in using logical methods to validate security properties of concurrent programs. Currently working at Heliax, his mission is to bolster the security and robustness of distributed protocols through state-of-the-art verification techniques.