|
Bio:
Seungjoon Park is a Senior Staff Research Scientist within Intel's Microprocessor Technology Labs (MTL) in Santa Clara, California. He has been working on definition and formal verification of cache coherence and system interface protocols for many-core microprocessor architecture as well as FPGA designs of new cache architectures and on-chip interconnect. Prior to Intel, he worked at NASA Ames Research Center with the High-Assurance Software Design Research team on Java PathFinder, a system to verify executable Java bytecode programs. He received his PhD in Electrical Engineering with Minor in Computer Science from Stanford University, where he investigated the cache coherence protocol of Stanford FLASH multiprocessor and developed operational memory models of SPARC V9 architecture.
|
