Peter-Michael Seidel is an Associate Professor in the Information and Computer Sciences Department at the University of Hawaii at Manoa. He received BSc and MSc degrees in computer science from the University of Hagen, Germany in 1994 and 1996, and a Dr.-Ing. and a Habilitation degree in computer engineering from the University of the Saarland at Saarbruecken, Germany in 2000 and 2002, respectively. Prior to joining the University of Hawaii, he worked for Advanced Micro Devices as a PMTS design engineer from 2007 to 2012, and he was a faculty member in the Computer Science and Engineering Department at SMU from 2000 to 2007. His research interests include computer arithmetic, computer architecture, formal methods, and hardware security.