Geoff graduated from Oxford University with a DPhil in formal verification in 1988. He worked for STMicro for 10 years where he spent much time implementing model checkers and formal equivalence checkers. He joined Element14 in 1999 where he founded the verification team and was Verisity’s first European customer. Since E14 was acquired by Broadcom, Geoff has developed a unified chip verification environment which is used across the Broadband Communications Group. He now runs Broadcom’s FirePath DSP processor development programme and chairs NMI’s Microelectronics Design Advisory Board.