Jason Baumgartner

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.

References[edit]

  1. ^ "Jason Raymond Baumgartner - Home". Author DO Series. Retrieved April 27, 2024.
  2. ^ "New Fellows announced for 2015". IEEE Region 5. Retrieved January 4, 2020.


External links[edit]