User:Douglas Densmore: Difference between revisions
From OpenWetWare
Jump to navigationJump to search
Line 31: | Line 31: | ||
<!-- Replace the PubMed ID's ("pmid=#######") below with the PubMed ID's for your publications. You can add or remove lines as needed --> | <!-- Replace the PubMed ID's ("pmid=#######") below with the PubMed ID's for your publications. You can add or remove lines as needed --> | ||
<biblio> | <biblio> | ||
<!--#Paper1 pmid=6947258--> | <!--\#Paper1 pmid=6947258--> | ||
<!--#Paper2 pmid=13718526--> | <!--\#Paper2 pmid=13718526--> | ||
<!--// leave a comment about a paper here--> | <!--// leave a comment about a paper here--> | ||
#Book1 isbn=3836473143 | #Book1 isbn=3836473143 |
Revision as of 19:28, 28 July 2008
I am a new member of OpenWetWare!
Contact Info
- Douglas Densmore
- UC Berkeley
- 253 Cory Hall (mail)
- 545P Cory Hall (office)
- Berkeley, CA 94720-1770
- Email me through OpenWetWare
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
- Synthetic biological tools
- Embedded system level architecture modeling
- Programmable hardware architectures
- Formal verification
Publications
-
\#Paper1 pmid=6947258-->
- ISBN:3836473143