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.
Global Media Ratings
Countries Mentioned
| Country | Mentions | Sentiment | Dominance | + Persistence | x Population | = Reach | x GDP (millions) | = Power |
|---|---|---|---|---|---|---|---|---|
| Slovenia | 1 | 9.00 | 0.10% | +0% | 2,078,938 | 2,181 | $56,000 | 59$ |
| Totals | 1 | 2,078,938 | 2,181 | $56,000 | 59$ |
Interactive World Map
Each country's color is based on "Mentions" from the table above.
Recent Mentions
Slovenia:
Dr. Anja Petković Komel is a researcher in the team for formal verification of correctness at the non-profit organization Argot Collective.
9