BI
BlockRock Investment Management
Company Employees
Pavel Ivanov
Researcher/Software developer @BlockRock Investment Management
Verified
Formal verification research, deductive verification in Coq in particular. Smart contract development Solidity/Rust.More...