About

Interests

  • Hardware/software cosynthesis.

  • Language and compiler design.

  • SAT and BDD-based formal verification (model checking, PDR)

  • Rapid FPGA Development.

Projects

Work

Contact

Feel free to contact me through github.

Brief C.V.

Education

  • University of California, Santa Cruz. B.S. with Honors. Computer Engineering.

  • University of California, Santa Barbara. M.S. Computer Engineering, focus on Architecture.

  • University of California, Santa Barbara. Ph.D. Computer Engineering, Hardware/software Cosynthesis

Interests & Hobbies

I enjoy photography, soccer, typography, music, & cooking.