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.
This article about an American electrical engineer is a stub. You can help Wikipedia by adding missing information.