Petar Maksimovic

Petar Maksimovic は現在、Nethermind で形式検証エンジニア兼ビジネス開発リーダーを務めています。以前は Runtime Vеrification に勤務していました。