Jason Baumgartner: Difference between revisions
Appearance
Content deleted Content added
Changed dead ref and added categories. |
|||
Line 1: | Line 1: | ||
{{ |
{{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>{{ |
'''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== |
||
{{Reflist}} |
{{Reflist}} |
||
{{ |
{{Authority control}} |
||
{{DEFAULTSORT:Baumgartner, Jason}} |
{{DEFAULTSORT:Baumgartner, Jason}} |
||
[[Category: |
[[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
- ^ "New Fellows announced for 2015". IEEE Region 5. Retrieved January 4, 2020.