Jason Baumgartner


Jason Baumgartner, from the IBM Corporation, was named Fellow of the Institute of Electrical and Electronics Engineers in 2015 for contributions to formal hardware verification and its application''.