Addison Crump

Teacher and vulnerability researcher. Primary interests are fuzzing, static analysis, formal verification, and education in each.