Marc Riedel
Assistant Professor
Education
Ph.D., EE, 2005, Caltech, Pasadena, CA, United States
Contact Information
- 4-167 EECS
- Telephone: (612) 625-6086
- E-mail: mriedel
![[at]](/media/images/email3.gif)
- Personal Web Site
- Research Group Web Site
Synopsis
Marc's research group is pursuing 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. Please see our research page for more information.
Selected Publications
- Weikang Qian and Marc Riedel. "The Synthesis of Robust Polynomial Arithmetic with Stochastic Logic". Design Automation Conference, (2008).
- Brian Fett and Marc Riedel. "Module Locking in Biochemical Systems". International Conference on Computer-Aided Design (ICCAD), (2008).
- John Backes, Brian Fett, and Marc Riedel. "The Analysis of Cyclic Circuits with Boolean Satisfiability". International Conference on Computer-Aided Design (ICCAD), (2008).