David M. Russinoff is Principal Engineer at Arm Holdings. He holds a bachelor's degree from the Massachusetts Institute of Technology and a doctorate from New York University, both in mathematics, and a master's in computer sciences from the University of Texas at Austin. He has spent twenty-five years developing mathematical methods of hardware verification, with an emphasis on interactive theorem proving, and applying them in the analysis of commercial designs, especially arithmetic circuits.
Nous sommes désolés, mais actuellement aucun article n'est disponible auprès de cet auteur. Veuillez visiter à nouveau notre site Web un peu plus tard ou parcourir parmi les livres d'autres grands auteurs.