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
I completed my Ph.D. under Prof. Marc Riedel in 2013. My research pertained to logic synthesis, technology mapping, SAT-based algorithms, and model checking. I am now a Senior Research Scientist at Rockwell Collins
John's Papers
Dissertation
Journal Papers
Conference Papers
Contact Information
- Email:
- Phone: (952) 239-7828