SEUNG-JOON PARK
Protocol Architect / Senior Staff Research Scientist
Intel Labs, Intel Corp.
E-mail: spark (at) cs.s.t.a.n.f.o.r.d.edu

Research/Development Interests

  • Chip-Multiprocessor (CMP) architecture
  • Memory models and cache coherence protocols
  • Formal verification of hardware, software, and protocols
  • Automated software engineering

    • 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, Santa Clara, CA

    • Brief Biography

    Publications

    Kate Park's home page