This biography of a living person needs additional citations for verification. Please help by adding reliable sources. Contentious material about living persons that is unsourced or poorly sourced must be removed immediately from the article and its talk page, especially if potentially libelous.Find sources: "Jason Baumgartner" – news · newspapers · books · scholar · JSTOR (April 2024) (Learn how and when to remove this message)
The topic of this article may not meet Wikipedia's notability guideline for biographies. Please help to demonstrate the notability of the topic by citing reliable secondary sources that are independent of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be merged, redirected, or deleted.Find sources: "Jason Baumgartner" – news · newspapers · books · scholar · JSTOR (April 2024) (Learn how and when to remove this message)

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.

References

  1. ^ "Jason Raymond Baumgartner - Home". Author DO Series. doi:10.1145/contrib-81100581509/abs (inactive 2024-05-03). Retrieved April 27, 2024.((cite web)): CS1 maint: DOI inactive as of May 2024 (link)
  2. ^ "New Fellows announced for 2015". IEEE Region 5. 3 December 2014. Retrieved January 4, 2020.