0xPinto
Formal Methods Engineer
@0xPinto
27
Biography
Biography
Formal Methods Engineer in the railway domain Aerospace Engineer
Top competitions
View allContest | Position | Date | Payout |
---|---|---|---|
Aquarius | 33 / 680 | May 2025 | $69 |
Euler-v2 | 42 / 601 | May 2024 | $12 |
metamorpho-and-periphery | 16 / 245 | November 2023 | $0 |
Security portfolio
Title | Description |
---|---|
Code_Hawks |