E-mail: spark (at)


  • Ph.D. in Electrical Engineering with minor in Computer Science, Stanford University
  • M.S., B.S. with honors, 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 parallel computer architecture; Distributed shared memory systems; Memory models and cache coherence protocols; Formal specification/verification of hardware, software, and protocols; Algorithms in computer-aided design/verification tools; Automated software engineering

    Professional Experience

    07/2001 - present: Research Scientist/Protocol Architect, Microprocessor and Programming Research 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.
  • 7 awards from Intel labs and product divisions (during 2004 to 2012) for contributions to Intel® QPI interconnect specification and Intel® MIC architecture development, synthesis and emulation
  • Most Influential Paper award at 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014) 


    8 USA/international patents granted or pending

    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.