Douglas Densmore received his Bachelor of Science in Computer Engineering from the University of Michigan in April 2001.
He received his Masters of Science in Electrical Engineering from the University of California at Berkeley in May 2004. His master’s thesis, “Platform Based Reconfigurable Architecture Exploration vis Boolean Expression,” demonstrated how boolean satisfiability could be used to produce configurations for programmable hardware.
He went on to receive his PhD in Electrical Engineering from UC Berkeley as well in May 2007. His PhD thesis, “A Design Flow for the Development, Characterization, and Refinement of System Level Architecture Services,” investigated how electronic system level design methodologies can be abstract and modular while remaining accurate and efficient.
After his graduation, he became a UC Chancellor’s postdoctoral researcher at UC Berkeley under Professor Alberto Sangiovanni-Vincentelli, where he studied the development of System Level Design methodologies for electronic systems, particularly architecture modeling and refinement verification. He also served as the leader of the UC Berkeley Software team in the International Genetically Engineered Machine (iGEM) competition, which earned a gold medal and the “Best Software Tool” award in 2008 for the development of the Clotho toolset.
In 2010, he carried out his postdoctoral research in the Synthetic Biology Engineering Research Center (SynBERC) and the Joint BioEnergy Institute (JBEI), where he developed software tools for the design of synthetic biological devices.