Petar Maksimovic

Petar Maksimovic 是 Nethermind 形式验证工程师兼业务拓展主管，此前曾在 Runtime Vеrification 工作。