Petar Maksimovic

Team （ Nethermind

Petar Maksimovic は現在、Nethermind の Formal Verification Engineer 兼 Business Development Lead を務めています。以前は Runtime Verification で働いていました。