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. 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.


External links edit