Research Scientist / Protocol Architect
Intel Labs, Intel Corp.
E-mail: spark (at)

Research/Development Interests

  • Chip-Multiprocessor parallel computer architecture
  • Memory models and cache coherence protocols
  • Formal specification/verification of protocols, software, and hardware designs
  • Algorithms in computer-aided design/verification tools
  • Automated software engineering
  • Publications

    Brief Bio

    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