Jason Baumgartner

{{Short description|American electrical engineer}}

{{BLP refimprove |date=April 2024}}

Jason Raymond Baumgartner,{{Cite web|url=https://dl.acm.org/do/10.1145/contrib-81100581509/|title=Jason Raymond Baumgartner - Home|website=Author DO Series|doi= |accessdate=April 27, 2024}} from the IBM Corporation, was named Fellow of the Institute of Electrical and Electronics Engineers (IEEE) in 2015{{cite web|url=https://r5.ieee.org/2014/12/03/new-fellows-announced-for-2015/|title=New Fellows announced for 2015|date=3 December 2014 |publisher=IEEE Region 5|accessdate=January 4, 2020}} for contributions to formal hardware verification and its application''.