Andrei Văcaru
Andrei Văcaru is a formal verification engineer at Runtime Verification. Văcaru’s technical work explains how KEVM, a formal model of the Ethereum Virtual Machine, can be used with Solidity and Foundry to check smart contract properties through symbolic execution. The work also covers interactive debugging, including tracing execution back to Solidity source code.