Robert Kurshan
Robert Kurshan · Технологии и инженерия
Куршан, американский специалист по информатике, числящийся среди еврейских фигур вычислительной науки, перенёс проверку моделей на основе теории автоматов из теории в промышленную верификацию аппаратуры.
2005
United States
Куршан, американский специалист по информатике, числящийся среди еврейских фигур вычислительной науки, перенёс проверку моделей на основе теории автоматов из теории в промышленную верификацию аппаратуры. В Bell Labs он построил средства, позволяющие инженерам формально доказывать правильность сложных схемных проектов. В 2005 году он разделил премию Канеллакиса за то, что сделал формальную верификацию практичной.
Проверьте и углубитесь с помощью этих внешних источников.
Источник: Jinfo.org — Jewish recipients of the Kanellakis Award
Эта страница выходит на семи языках и переведена с английского. Переводы проверяются, но ошибка может проскользнуть. Если вы заметили её на этой карточке — неверное слово, потерянную дату, фразу, которой нет в английском, — сообщите нам.
Куршан, американский специалист по информатике, числящийся среди еврейских фигур вычислительной науки, перенёс проверку моделей на основе теории автоматов из теории в промышленную верификацию аппаратуры.
Источник: Jinfo.org — Jewish recipients of the Kanellakis Award
Похожие деятели
Amos Fiat
Andrei Broder
Anna Karlin
