Horia Toma is involved in design verification for Anton. Horia earned a Ph.D. in computer science from the Ecole des Mines de Paris, an M.S. and a B.S. in control engineering from the University "Politehnica" of Bucharest, and a DEA in computer science from Institut National Polytechnique de Grenoble, France. Prior to joining DESRES, Horia was a Staff Research and Development Engineer at Synopsys. In his spare time, Horia enjoys travel and bridge. He has also co-produced two CDs and a documentary about ethnic jazz music.