John Backes
From The Circuits and Biology Lab at UMN
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
|
|
|