Petar Maksimovic

Petar Maksimovic 是 Nethermind 形式驗證工程師兼業務拓展主管，此前曾在 Runtime Vеrification 工作。