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 is organizing the 1st International Workshop on Biodesign Automation, co-located with DAC '2009.
• Marc is organizing the 18th International Workshop on Logic and Synthesis, also co-located with DAC '2009.
• We will be presenting our work on Nanoscale Digital Computation Through Percolation at DAC '2009 in San Francisco in July.
• We will be presenting our work on Synthesizing Signal Processing Functions with Biochemistry at the Emergence in Chemical Systems 2.0 Meeting in Alaska in June.
• We presented our work on Stochastic Computing at the GLSVLSI Conference in Boston in May.
• We presented our work Rate-Independent Biochemical Synthesis at the Annual Institute of Biological Engineering Conference in Santa Clara, CA, in March.
• Marc gave seminars at Texas A&M, Rice University, and the University of Wisconsin in February.
• We presented our work on Stochastic Transient Analysis at the Pacific Biocomputing Symposium in Kona, Hawaii, in January.
• Weikang received the Best Poster Award at the FENA Annual Review in January.

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.