BooleDozer, the IBM logic synthesis tool. Subsequently he managed IBM's logic synthesis group and drove the development of PDS, IBM's Placement Driven Synthesis tool. From 1999-2004 he lead all of IBM's design automation research as the Senior Manager Design Automation at IBM Research.

Mr. Stok has published over sixty papers on many aspects of high level, architectural and logic synthesis, low power design, placement driven synthesis and on the automatic placement and routing for schematic diagrams. He holds 6 patents in the area of EDA. He was elected an IEEE fellow for the development and application of high-level and logic synthesis algorithms.