Main Page

From The Circuits and Biology Lab at UMN

Jump to: navigation, search

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

Announcements

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.

Personal tools