|
|
Line 45: |
Line 45: |
| | [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. |
| |- | | |- |
| | '''to be presented at''': | | | '''presented at''': |
| | [http://www.iccad.com The International Conference on Computer-Aided Design], San Jose, CA, 2010. | | | [http://www.iccad.com The International Conference on Computer-Aided Design], San Jose, CA, 2010. |
|
| |
|
Revision as of 11:44, 22 December 2010
About John
My research interests include Logic Synthesis, Formal Verification, 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