Автор: J Strother Moore

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.