Security researcher with an interest in formal methods.

Building fuzzers @ Interrupt Labs |
Teaching @ Australian National University

https://adrian-herrera.com