SEUNGJOON PARK
Protocol Architect / Senior Staff Research Scientist, Intel Corp.
E-mail: spark (at) cs.stanford.edu

Research/Development Interests

  • Chip-Multiprocessor (CMP) architecture
  • Memory models and cache coherence protocols
  • Computer-aided verification of hardware, software, and protocols
  • Formal methods for system designs
  • Automated Software Engineering

    • Publications

    Brief Biography

    Research Groups Involved

  • Formal Verification Group at Stanford University, CA
  • FLASH Multiprocessor Group at Stanford University, CA
  • Computer Science Laboratory at SRI International, Menlo Park, CA
  • Computer Science Division at NASA Ames Research Center, Moffett Field, CA
  • Research Labs at Intel

    • Kate Park's home page