User:Douglas Densmore: Difference between revisions
From OpenWetWare
Jump to navigationJump to search
| Line 36: | Line 36: | ||
==Useful links== | ==Useful links== | ||
*[http://ddensmore.net Personal Webpage] | *[http://ddensmore.net Personal Webpage] | ||
*[http:// | *[http://www.clothocad.org PBD of Synthetic Biological Systems] | ||
*[http:// | *[http://sourceforge.net/projects/clothocad/ Clotho Tool] | ||
Revision as of 20:05, 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://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
