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, and Technology Mapping.  I will graduate with my undergraduate degree in Computer Engineering in May of 2009.
+
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:'''
 
'''Papers that John has contributed too:'''

Revision as of 11:41, 20 June 2008

John Backes.jpg

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