0xPinto

0xPinto

Formal Methods Engineer

@0xPinto

27

Public earnings

$80.89

816th


Public findings

1

Biography

Biography

Formal Methods Engineer in the railway domain Aerospace Engineer

Top competitions

View all
Contest
Position
Date
Payout
Aquarius

Aquarius

33

/ 680

May 2025$69
Euler-v2

Euler-v2

42

/ 601

May 2024$12
metamorpho-and-periphery

metamorpho-and-periphery

16

/ 245

November 2023$0

Security portfolio

Title
Description
Code_Hawks