William Denman

@ic3guy

PhD Student in the Computer Lab at Cambridge University. Interests: Analog and Mixed Signal Formal Verification, Automated Theorem Proving, Hacking, Phreaking.