Anja Petković Komel

Dr. Anja Petković Komel is a researcher at Argot Collective, a nonprofit organization focused on formal verification of correctness in support of Ethereum and related technologies. She specializes in using automatic theorem provers to verify mathematical properties and ensure the security of software programs and blockchain protocols. Her work aims to demonstrate that cheating is not worthwhile in economic incentives within blockchain systems, contributing to greater transparency and safety in critical applications.