Main Page

From The Circuits and Biology Lab at UMN

A collaborative website for Marc Riedel and his group in the Department of Electrical and Computer Engineering at the University of Minnesota.

Announcements

• We're recruiting: Ph.D. students and Post-Docs. Please contact Marc.
• Marc received the NSF CAREER award.
• With the NSF CAREER Award and an NSF EAGER grant, our sponsored research funding has surpassed the $1 million mark.
• We presented our work on Compiling Code with Biochemistry at the Pacific Biocomputing Symposium in Kona, Hawaii, in January 2010.
• We'll be presenting our work on Stochastic Logic at ICCAD in San Jose in November, 2009. Our paper was nominated for the Best Paper Award.
• We'll be presenting our work on Biodesign Automation at ICCAD in San Jose in November, 2009.
• We'll also be presenting our work on Biodesign Automation at an invited session of CANDE in October, 2009.
• We presented our work on Synthesizing Stochasticity at the Banff Workshop on Stochasticity in Biochemical Reaction Networks in September, 2009.
• Marc organized the 1st International Workshop on Biodesign Automation in San Francisco in July, 2009, as well as the 18th International Workshop on Logic and Synthesis in Berkeley in August, 2009. Both were a success!
• We presented our work on Nanoscale Digital Computation Through Percolation at DAC in San Francisco in July, 2009.
• We presented our work on Synthesizing Computation with Biochemistry at the Emergence in Chemical Systems Conference in Alaska in June, 2009.
• We presented our work on Stochastic Computing at the GLSVLSI Conference in Boston in May, 2009.
• We presented our work Rate-Independent Biochemical Synthesis at the Annual Institute of Biological Engineering Conference in Santa Clara in March, 2009.
• Marc gave seminars at Texas A&M, Rice University, and the University of Wisconsin in February, 2009.
• We presented our work on Stochastic Transient Analysis at the Pacific Biocomputing Symposium in Kona, Hawaii, in January, 2009.

About the Lab

The research activities encompass topics in logic synthesis and verification, as well as in synthetic and computational biology. A broad theme is the application of expertise from the realm of digital circuit design to the analysis and synthesis of biological systems.

Current projects include:

• Bio Design Automation: designing biochemical systems that perform signal processing and implement computation in terms of protein quantities.
• Stochastic Transient Analysis of Biochemical Systems: analyzing and characterizing the dynamics of biochemical systems with high-performance computing (in collaboration with IBM Rochester).
• Stochastic Logic for Nanoscale Digital Circuits: designing circuits in nanoscale technologies that implement computation by processing ones and zeros probabilistically.
• Combinational Circuits with Feedback: using feedback (i.e., cyclic or recurrent topologies) to design more compact and more resilient combinational circuits.
• Digital Computation Through Percolation: exploting mathematical percolation to implement digital computation in nanofabrics.

Please see our research page for more information.