John Backes

From The Circuits and Biology Lab at UMN
Revision as of 12:39, 20 June 2008 by Back0145 (talk | contribs)
Jump to navigationJump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

About John:

My research interests include Logic Synthesis, Verification, and Technology Mapping. I will graduate with 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