Jochen Spengler works on functional verification for Anton. Before joining DESRES, he worked on design and system verification as a member of the MIPS Microprocessor Design team at SGI. He earned an M.S. in electrical and computer engineering at Portland State University, and studied electrical engineering at the University of Karlsruhe. In his spare time, Jochen enjoys outdoor activities, flying airplanes, and serving as a flight instructor.