Difference between revisions of "John Backes"
From The Circuits and Biology Lab at UMN
Jump to navigationJump to search
| Line 3: | Line 3: | ||
==About John== | ==About John== | ||
My research interests include Logic Synthesis, Verification, | My research interests include Logic Synthesis, Verification, Technology Mapping, and SAT-Based Algorithms. I will earn my bachelor's degree in Computer Engineering in May of 2009. | ||
==Papers that John has contributed too== | ==Papers that John has contributed too== | ||
Revision as of 15:12, 15 September 2008
About John
My research interests include Logic Synthesis, Verification, Technology Mapping, and SAT-Based Algorithms. I will earn my bachelor's 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
