CertiCoq
Monocled
PersonForSure
Self studying mathematics, λ (A : Type) → λ (f : A → A) → λ (x : A) → f^15(x) years old
>_
Jevin Sweval
jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer
Previously Apple Pay Security
Lafayette, Indiana
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
