User:Douglas Densmore: Difference between revisions
From OpenWetWare
Jump to navigationJump to search
Line 13: | Line 13: | ||
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. | 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:// | For more information about my efforts in synthetic biology please see: http://www.clothocad.org | ||
==Education== | ==Education== |
Revision as of 20:06, 13 November 2009
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://www.clothocad.org
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