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, 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. | My research interests include Logic Synthesis, Formal 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 == | == John's Papers == | ||
Revision as of 13:44, 18 February 2009
About John
My research interests include Logic Synthesis, Formal 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
|
|
|
Contact Information
- Email:
- Phone: (952) 239-7828
