Sam Frank – Consortium for Verification Technology