Alistair Bell works on design verification for Anton. He holds a diploma in computer science and a B.A. in mathematics, both from the University of Cambridge. Prior to joining DESRES, Alistair was Lead Verification Engineer at Netronome Systems, where he verified the memory units in network flow processors. He has also worked as a software engineer at Broadcom and Tilera. Alistair is a former Jeopardy! champion and also appeared on Who Wants to Be a Millionaire. In his free time, he enjoys choral singing, travel, and puzzles, and is active in his local church.