SEUNGJOON PARK

E-mail: spark (at) cs.stanford.edu
URL: http://verify.stanford.edu/spark/

Education

  • 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

    Computer-aided verification of hardware and protocols, multiprocessor memory architecture, cache coherence protocols in distributed systems, formal methods in computer-aided system design

    Professional Experience

    07/2001 - present: Protocol Architect/Senior Staff Research Scientist, Microprocessor Technology 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