Naseer Siddique works on design verification for Anton. Prior to joining DESRES, he worked at IBM, where he performed logic verification for multiple high-end server microprocessors. He graduated with a B.S. and an M.S. in electrical and computer engineering from Carnegie Mellon University, where he concentrated on digital signal processing and hybrid controls. In his spare time, Naseer enjoys photography, rock climbing, snowboarding, and cryptic crossword puzzles.