John Backes
From The Circuits and Biology Lab at UMN
About John
My research interests include Logic Synthesis, Verification, and Technology Mapping. I will earn my undergraduate degree in Computer Engineering in May of 2009.
Papers that John has contributed too
The Analysis of Cyclic Circuits with Boolean Satisfiability
The Synthesis of Stochastic Logic for Nanoscale Computation
Contact Information
- Email:
- Phone: (952) 239-7828
