Isevl9yhkyxlinxfjzfl

Byron Cook

Dr. Byron Cook is a principal researcher at Microsoft's laboratory at Cambridge University where he leads the Verification and Automated Reasoning Group. Byron is also full professor of computer science at Queen Mary, University of London.

Talks I've Given