John Backes
From The Circuits and Biology Lab at UMN
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.
About John
My research interests include Logic Synthesis, Verification, Technology Mapping, and SAT-Based Algorithms. I formally start the PhD program at UMN in Sept. 2009; however, I've been an informal PhD student for quite some time.
John's Papers
|
|
|
Contact Information
- Email:
- Phone: (952) 239-7828
