Peter-Michael Seidel

Associate Professor

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.

Catherine Meadows
Member. Interested in algebras and logics of security systems...
Christian Collberg
Member. Christian's main interest is the Man-At-The-End Attack...
Christina Vasilakopoulou
Former postdoc. Christina’s interests lie in Category Theory, especially monoidal and enriched categories...
Depeng Li
Member. Dr. Li's research interests span from secure computation for Internet of Things to privacy at smart homes...  
Dusko Pavlovic
Founder. Dusko is interested in security and adaptation...
Fred Piper
Member. Fred advises across all research areas...
Liang-Ting Chen
Former postdoc. Interested in categorical structures in computer science.
Muzamil Yahia
Research Student. Interested in cryptography, game theory and algorithmic information theory...
Nancy Mogire
Former research student. Interested in cryptographic protocols for web applications...
Peter-Michael Seidel
Member. Interested in computer arithmetic, hardware security, formal methods....
Rui Zhang
Rui's research interests are security and privacy in wireless/mobile networks...
Simon Willerton
Member. He now often thinks a lot about category theory and is partly responsible for the Catster YouTube videos on category theory.
Tobias Heindel
Research Scholar. Tobias’s research has been revolving around logic, verification, and category theory.
Toshiki Kataoka
Researh student. Toshiki is interested in category theory and categorical logic...
Viktor Winschel
Member. Viktor is applying categorical tools to macroeconomics...
Whitfield Diffie
Member. Visiting Professor at Royal-Holloway...
Yingfei Dong
Member. His current research interests are mostly in secure Internet architectures and network security...