His team created Skein and it was a NIST finalist for SHA3 so he obviously can audit code. He also I believe has a position this year at a university for a few months to work with students and their graduate projects in crypto engineering.