Jason Baumgartner , de IBM Corporation, fue nombrado miembro del Instituto de Ingenieros Eléctricos y Electrónicos (IEEE) en 2015 [1] por sus contribuciones a la verificación formal de hardware y su aplicación .
Este artículo acerca de un ingeniero eléctrico estadounidense es un trozo . Puedes ayudar a Wikipedia expandiéndola .