John Darringer received his PhD from Carnegie Mellon University. He worked for Philips in Holland and then joined IBM Research in Yorktown. He worked in program verification, logic synthesis, and held management positions including Director of Large Systems Research and Director of Technical Planning for the Research Division, and Director of Electronic Design Automation in IBM's Systems Technology Group. Currently he is back in Research working part-time. Dr. Darringer is an IEEE Fellow and active with the IEEE.