John Backes

From The Circuits and Biology Lab at UMN
Revision as of 12:37, 20 June 2008 by Back0145 (talk | contribs)
Jump to navigationJump to search

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