Main Page
From The Circuits and Biology Lab at UMN
A collaborative web page for Marc Riedel and his group in the Department of Electrical and Computer Engineering at the University of Minnesota.
Announcements
- We'll be presenting our work on Stochastic Logic at the Design Automation Conference on Thurs. 6/12.
- The 17th International Workshop on Logic and Synthesis, IWLS'08, was a success!
- Three new Ph.D. students have joined the lab: Mustafa Altun, Adriana Fitzgerald and Bret Winegrad.
- We're recruiting: M.S. students, Ph.D. students and Post-docs.
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 circuit design to the analysis and synthesis of biological systems.
Current projects include:
- Bio-design automation: synthesis techniques for biochemical reactions.
- High-performance computing for analyzing and synthesizing biochemistry.
- Stochastic logic for nanoscale digital circuits.
- Digital circuits with noisy and probabilistic gates.
- Combinational circuits with feedback.
- Input-dependent, symbolic techniques for timing and reliability analysis.
Please see our research page for more information.

