Грушин Анатолий Иванович
Кандидат технических наук, доцент Московского физико-технического института (МФТИ),
ведущий научный сотрудник Института точной механики и вычислительной техники им. С.А. Лебедева РАН.
Член IEEE, ACM и IEEE Computer Society. Автор около 50 печатных работ и 11 патентов, в том числе 2 патентов США.
Верификация в вычислительной технике
Согласно закону Мэрфи, если какая-то неприятность может случиться, то она случается. Человек может ошибиться, поэтому он обязательно ошибается. Ошибки случаются при
проектировании аппаратуры, при написании программ, при изготовлении аппаратуры. Иногда они обходятся очень дорого.