Difference between revisions of "John Backes"
From The Circuits and Biology Lab at UMN
Jump to navigationJump to search
| Line 18: | Line 18: | ||
| John Backes and [[Marc Riedel]] | | John Backes and [[Marc Riedel]] | ||
|- | |- | ||
| ''' | | '''presented at''': | ||
| [http://www.sigda.org/iwls/iwls2010 International Workshop on Logic and Synthesis], Irvine, CA, 2010. | | [http://www.sigda.org/iwls/iwls2010 International Workshop on Logic and Synthesis], Irvine, CA, 2010. | ||
Revision as of 18:50, 19 June 2010
About John
My research interests include Logic Synthesis, Formal Verification, Bounded Model Checking, Technology Mapping, and SAT-Based Algorithms. I formally started 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
