0xPinto
Formal Methods Engineer
@0xPinto
30
Biography
Biography
Formal Methods Engineer in the railway domain Aerospace Engineer
Top competitions
View allContest | Position | Date | Payout |
|---|---|---|---|
Euler-v2 | 62 / 601 | May 2024 | $12 |
metamorpho-and-periphery | 22 / 242 | November 2023 | $0 |
Security portfolio
Title | Description |
|---|---|
| Code_Hawks |