Jason Baumgartner
American electrical engineer
From Wikipedia, the free encyclopedia
Jason Raymond Baumgartner,[1] from the IBM Corporation, was named Fellow of the Institute of Electrical and Electronics Engineers (IEEE) in 2015[2] for contributions to formal hardware verification and its application.
