User:Douglas Densmore: Difference between revisions
Line 45: | Line 45: | ||
*[http://www.clothocad.org PBD for Synthetic Biological Systems] | *[http://www.clothocad.org PBD for Synthetic Biological Systems] | ||
*[http://sourceforge.net/projects/clothocad/ Clotho Tool] | *[http://sourceforge.net/projects/clothocad/ Clotho Tool] | ||
*[http://2009.igem.org/Team:Berkeley_Software 2009 UC Berkeley iGEM Team] | |||
*[http://2008.igem.org/Team:UC_Berkeley_Tools 2008 UC Berkeley iGEM Team] |
Revision as of 15:31, 26 August 2010
I am a new member of OpenWetWare!
Contact Info
- Douglas Densmore
- Department of Electrical and Computer Engineering
- Boston University
- 8 Saint Mary's St.
- Boston, MA 02215
- Email me through OpenWetWare
I am currently an assistant professor in the Department of Electrical and Computer Engineering at Boston University. I also am a member of the Center for Advanced Biotechnology and maintain a lab there. My research is at the interface of electronic design automation (how we build electronic components) and synthetic biology.
I was the instructor for UC Berkeley's 2008 and 2009 computational iGEM teams.
As a post doc I worked in the Donald O. Peterson center for electronic system design at the University of California, Berkeley. I focused 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 joined because wanted to be more involved in the community.
For more information about my efforts in synthetic biology please see: http://www.clothocad.org
Education
- 2010-Present - Assistant Professor at Boston University
- 2009-2010 - SynBERC Postdoctoral Fellow
- 2007-2009 - UC Chancellor's Postdoctoral Fellow
- 2007, PhD, UC Berkeley - Electrical Engineering
- 2004, MS, UC Berkeley - Electrical Engineering
- 2001, BSE, University of Michigan - Computer Engineering
Research interests
- Synthetic biological tools
- Embedded system level architecture modeling
- Programmable hardware architectures
- Formal verification