Difference between revisions of "John Backes"
From The Circuits and Biology Lab at UMN
Jump to navigationJump to search
Line 22: | Line 22: | ||
|} | |} | ||
| | | | | |
Revision as of 11:15, 11 August 2009
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
|
|
|