User:Douglas Densmore

From OpenWetWare
Jump to navigationJump to search

I am a new member of OpenWetWare!

Contact Info

Douglas Densmore

I work in the Donald O. Peterson center for electronic system design at the University of California, Berkeley. I am a post doc at UC Berkeley where I work on system level design methodologies. In particular I am interested in architecture modeling and refinement verification. I learned about OpenWetWare from from other users, and I've joined because I am working on a synthetic biology project and would like to be more involved in the community.

For more information about my efforts in synthetic biology please see: http://biocad-server.eecs.berkeley.edu/wiki

Education

  • 2007, PhD, UC Berkeley - Electrical Engineering
  • 2004, MS, UC Berkeley - Electrical Engineering
  • 2001, BS, University of Michigan - Computer Engineering

Research interests

  1. Synthetic biological tools
  2. Embedded system level architecture modeling
  3. Programmable hardware architectures
  4. Formal verification

Publications

  1. \#Paper1 pmid=6947258-->

    [--]
  2. ISBN:3836473143 [Book1]

Useful links