John Backes

From The Circuits and Biology Lab at UMN
Jump to navigationJump to search

John Backes.jpg

About John

My research interests include Logic Synthesis, Verification, Technology Mapping, and SAT-Based Algorithms. I formally start the PhD program at UMN in Sept. 2009; however, I've been an informal PhD student for quite some time.

Papers that John has contributed too

The Analysis of Cyclic Circuits with Boolean Satisfiability

The Analysis of Cyclic Circuits with Boolean Satisfiability

The Synthesis of Stochastic Circuits for Nanoscale Computation

Contact Information

  • Email: BackesEmail.gif
  • Phone: (952) 239-7828