Paul Loewensteinundefined at Western Digital
Paul Loewenstein is a Senior Technologist at Western Digital Corporation. His research interests are centered on RISC-V, including multi-processor cache coherence and contributing to the RISC-V Memory Model task group. He previously worked at Oracle on SPARC cache coherence protocols, formal memory models, deadlock and livelock avoidance and error detection and correction. Paul Loewenstein has a Ph.D. from the University of Cambridge for the application of formal methods to computer design.