SEUNGJOON 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

Education

  • Ph.D. in Electrical Engineering with minor in Computer Science, Stanford University
  • M.S. and B.S. summa cum laude, in Electronics Engineering, Seoul National University

    Ph.D. Thesis

  • Title: Computer Assisted Analysis of Multiprocessor Memory Systems
  • Advisor: Prof. David L. Dill, Department of Computer Science, Stanford University

    Research/Development Interests

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

    Professional Experience

    07/2001 - present: Protocol Architect/Senior Staff Research Scientist, Intel Labs, Intel Corp., California
    10/1998 - 07/2001: Research Scientist, RIACS, NASA Ames Research Center, Moffett Field, California
    07/1996 - 09/1998: Engineering Research Associate, Department of Computer Science, Stanford University
    06/1994 - 09/1994: Visiting Fellow, Computer Science Laboratory, SRI International, Menlo Park, California
    09/1991 - 06/1996: Research Assistant, Department of Electrical Engineering/Computer Science, Stanford University

    Professional Awards

    NASA's TGIR Engineering Innovation Award for 2003, Information Technology Strategic Research at NASA.

    Professional Service

    Refereed for journals and international conferences including: IEEE Transactions on Computers, IEEE Transactions on Parallel and Distributed Systems, Journals on Formal Methods in System Design, International Conference on Computer Aided Verification, IEEE/ACM International Conference on Computer Aided Design, IEEE/ACM Design Automation Conference.

    Publications

    Home