Difference between revisions of "John Backes"
From The Circuits and Biology Lab at UMN
Jump to navigationJump to search
| Line 32: | Line 32: | ||
| align=center | | | align=center | | ||
<span class="plainlinks">[http:// | <span class="plainlinks">[http://www.mriedel.ece.umn.edu/wiki/images/a/ad/Backes_Riedel_The_Synthesis_Of_Functional_Dependencies_With_Craig_Interpolation.ppt http://cctbio.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span> | ||
<br> [http://www.mriedel.ece.umn.edu/wiki/images/a/ad/Backes_Riedel_The_Synthesis_Of_Functional_Dependencies_With_Craig_Interpolation.ppt Slides] | <br> [http://www.mriedel.ece.umn.edu/wiki/images/a/ad/Backes_Riedel_The_Synthesis_Of_Functional_Dependencies_With_Craig_Interpolation.ppt Slides] | ||
|} | |} | ||
Revision as of 14:10, 21 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
|
|
|
Contact Information
- Email:
- Phone: (952) 239-7828
