John Backes

From The Circuits and Biology Lab at UMN
Revision as of 12:32, 3 February 2009 by Backes (talk | contribs) (→‎About John)
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.

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 May 2009; however, I've been an informal PhD student for quite some time.

John's Papers

title: The Synthesis of Cyclic Dependencies with Craig Interpolation
authors: John Backes and Marc Riedel
(under review)
       

Pdf.jpg
Paper

title: The Analysis of Cyclic Circuits with Boolean Satisfiability
authors: John Backes, Brian Fett and Marc Riedel
presented at: The International Conference on Computer-Aided Design, San Jose, CA, 2008.
       

Pdf.jpg
Paper

       

Ppt.jpg
Slides

title: The Synthesis of Stochastic Circuits for Nanoscale Computation
authors: Weikang Qian, John Backes, and Marc Riedel
presented at: International Workshop on Logic and Synthesis, San Diego, CA, 2007.
       

Pdf.jpg
Paper

       

Ppt.jpg
Slides

Contact Information

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