Jason Baumgartner
Jason Raymond Baumgartner, from the IBM Corporation, was named Fellow of the Institute of Electrical and Electronics Engineers (IEEE) in 2015 for contributions to formal hardware verification and its application. Provided by Wikipedia-
1