Jump to content

Jason Baumgartner: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
Monkbot (talk | contribs)
m →‎top: Task 16: replaced (0×) / removed (1×) deprecated |dead-url= and |deadurl= with |url-status=;
Changed dead ref and added categories.
Line 1: Line 1:
{{orphan|date=April 2017}}
{{Orphan|date=January 2020}}


'''Jason Baumgartner''', from the [[IBM]] Corporation, was named [[Fellow of the Institute of Electrical and Electronics Engineers]] (IEEE) in 2015<ref>{{Cite web|url=https://www.ieee.org/membership_services/membership/fellows/2015_elevated_fellows.pdf|title=2015 elevated fellow|website=IEEE Fellows Directory}}</ref> for contributions to formal [[hardware verification]] and its application''.
'''Jason Baumgartner''', from the [[IBM]] Corporation, was named [[Fellow of the Institute of Electrical and Electronics Engineers]] (IEEE) in 2015<ref>{{cite web|url=https://ieeer5.org/2014/12/03/new-fellows-announced-for-2015/|title=New Fellows announced for 2015|publisher=IEEE Region 5|accessdate=January 4, 2020}}</ref> for contributions to formal [[hardware verification]] and its application''.


== References ==
==References==
{{Reflist}}
{{Reflist}}


{{authority control}}
{{Authority control}}


{{DEFAULTSORT:Baumgartner, Jason}}
{{DEFAULTSORT:Baumgartner, Jason}}
[[Category:Fellow Members of the IEEE]]
[[Category:20th-century births]]
[[Category:Living people]]
[[Category:Living people]]
[[Category:Fellow Members of the IEEE]]
[[Category:Year of birth missing (living people)]]
[[Category:Year of birth missing (living people)]]
[[Category:Place of birth missing (living people)]]





Revision as of 21:20, 4 January 2020

Jason Baumgartner, from the IBM Corporation, was named Fellow of the Institute of Electrical and Electronics Engineers (IEEE) in 2015[1] for contributions to formal hardware verification and its application.

References

  1. ^ "New Fellows announced for 2015". IEEE Region 5. Retrieved January 4, 2020.