"
Team:UC Berkeley Tools/Project
From 2008.igem.org
(→Overall project) |
|||
| Line 8: | Line 8: | ||
{|align="justify" | {|align="justify" | ||
|You can write a background of your team here. Give us a background of your team, the members, etc. Or tell us more about something of your choosing. | |You can write a background of your team here. Give us a background of your team, the members, etc. Or tell us more about something of your choosing. | ||
| + | ==Team Biographies== | ||
| + | |||
| + | ===Dr. Douglas Densmore=== | ||
| + | [[Image:DougAtTheDOP2.png|center|Douglas Densmore]] | ||
| + | Douglas Densmore received his Bachelors of Science in Engineering (Computer Engineering) from the University of Michigan in April 2001. He received his Masters of Science in Electrical Engineering in May 2004 from the University of California at Berkeley. His masters thesis was entitled, "Platform Based Reconfigurable Architecture Exploration via Boolean Constraints" and demonstrated how Boolean Satisfiability could be used to produce configurations for programmable hardware. He received his PhD in Electrical Engineering from UC Berkeley as well in May 2007. His PhD thesis, entitled "A Design Flow for the Development, Characterization, and Refinement of System Level Architecture Services", explored how electronic system level design methodologies can be abstract and modular while at the same time remaining accurate and efficient. | ||
| + | |||
| + | He is currently a UC Chancellor's post doctoral researcher at UC Berkeley studying under [http://www.eecs.berkeley.edu/~alberto Prof. Alberto Sangiovanni-Vincentelli]. His research area is in the development of System Level Design methodologies for electronic systems. Specifically, architecture modeling and refinement verification. His background and interests are in Computer Architecture, Logic Synthesis, Digital Logic Design and Synthetic Biology. | ||
| + | |||
| + | His industry experience includes four+ summers with Intel Corporation where he was involved in pre-silicon design efforts regarding chipset development, post-silicon validation of the Pentium 4 microprocessor, and chipset software validation. He has also worked as a researcher at Cypress Semiconductor and Xilinx Research Labs. He is currently a member of the [http://www.gigascale.org Gigascale Systems Research Center (GSRC)] and the [http://chess.eecs.berkeley.edu Center for Hybrid and Embedded Software Systems (CHESS)] at UC Berkeley. He has published work regarding a method of successive refinement verification of electronic systems, taxonomies of EDA design tools, and algebraic frameworks for the manipulation of functional design descriptions to expose computational parallelism. In addition he has a US patent pending regarding data characterization of programmable devices (such as field programmable gate arrays). | ||
| + | |||
| + | <br clear="all"> | ||
| + | |||
| + | ===Anne Van Devender=== | ||
| + | |||
| + | ===Nade Sritanyaratana=== | ||
| + | Nade Sritanyaratana is a 3rd year undergraduate at the University of California, Berkeley. He is majoring in Bioengineering with a concentration in imaging, and hopes to apply for a PhD graduate program in the upcoming year. His prior research experience consists of working with bioengineering professor Steven Conolly in the Summer and Fall of 2007. Beyond imaging, his academic interests include biomechanics; signals and systems; circuit analysis; systems biology; and linear optimization. | ||
| + | |||
| + | ===Matthew Johnson=== | ||
| + | |||
| + | |||
|[[Image:Example_logo.png|200px|right|frame]] | |[[Image:Example_logo.png|200px|right|frame]] | ||
|- | |- | ||
Revision as of 09:51, 26 July 2008
| Home | The Team | The Project | Notebook |
|---|
You can write a background of your team here. Give us a background of your team, the members, etc. Or tell us more about something of your choosing.
Team BiographiesDr. Douglas Densmore Douglas Densmore received his Bachelors of Science in Engineering (Computer Engineering) from the University of Michigan in April 2001. He received his Masters of Science in Electrical Engineering in May 2004 from the University of California at Berkeley. His masters thesis was entitled, "Platform Based Reconfigurable Architecture Exploration via Boolean Constraints" and demonstrated how Boolean Satisfiability could be used to produce configurations for programmable hardware. He received his PhD in Electrical Engineering from UC Berkeley as well in May 2007. His PhD thesis, entitled "A Design Flow for the Development, Characterization, and Refinement of System Level Architecture Services", explored how electronic system level design methodologies can be abstract and modular while at the same time remaining accurate and efficient. He is currently a UC Chancellor's post doctoral researcher at UC Berkeley studying under Prof. Alberto Sangiovanni-Vincentelli. His research area is in the development of System Level Design methodologies for electronic systems. Specifically, architecture modeling and refinement verification. His background and interests are in Computer Architecture, Logic Synthesis, Digital Logic Design and Synthetic Biology. His industry experience includes four+ summers with Intel Corporation where he was involved in pre-silicon design efforts regarding chipset development, post-silicon validation of the Pentium 4 microprocessor, and chipset software validation. He has also worked as a researcher at Cypress Semiconductor and Xilinx Research Labs. He is currently a member of the Gigascale Systems Research Center (GSRC) and the Center for Hybrid and Embedded Software Systems (CHESS) at UC Berkeley. He has published work regarding a method of successive refinement verification of electronic systems, taxonomies of EDA design tools, and algebraic frameworks for the manipulation of functional design descriptions to expose computational parallelism. In addition he has a US patent pending regarding data characterization of programmable devices (such as field programmable gate arrays).
Anne Van DevenderNade SritanyaratanaNade Sritanyaratana is a 3rd year undergraduate at the University of California, Berkeley. He is majoring in Bioengineering with a concentration in imaging, and hopes to apply for a PhD graduate program in the upcoming year. His prior research experience consists of working with bioengineering professor Steven Conolly in the Summer and Fall of 2007. Beyond imaging, his academic interests include biomechanics; signals and systems; circuit analysis; systems biology; and linear optimization. Matthew Johnson |  | |
|
Tell us more about your project. Give us background. Use this is the abstract of your project. Be descriptive but concise (1-2 paragraphs) |  Your team picture | |
| Team Example 2 |
Overall project
Genomics has reached the stage at which the amount of DNA sequence information in existing databases is quite large. Moreover, synthetic biology now is using these databases to catalog sequences according to their functionality and therefore creating standard biological parts which can be used to create large systems. What is needed now are flexible tools which not only permit access and modification to that data but also allow one to perform meaningful manipulation and use of that information in an intelligent and efficient way. These tools need to be useful to biologists working in a laboratory environment while leveraging the experience of the larger CAD community. This project develops a toolset called "Clotho" which provides a variety of design views and tools to aid biologists to modify existing synthetic biological systems as well as create new ones. These tools differ from current offerings in this area in that they not only provide the needed tools to manipulate designs in one complete system but also provide unique ways in which to visualize the design as well as a number of connections to both local and global part repositories.
