Scott Smolka
Scott Smolka · Технологии и инженерия
Смолка — заслуженный профессор Университета штата Нью-Йорк в Стони-Бруке, автор основополагающих работ по вероятностной алгебре процессов и проверке моделей; вместе с Парисом Канеллакисом он придумал ключевой алгоритм разрешения бисимуляции, отмеченный в 2021 году премией Дейкстры.
Jackson Heights, New York, United States
United States
Смолка — заслуженный профессор Университета штата Нью-Йорк в Стони-Бруке, автор основополагающих работ по вероятностной алгебре процессов и проверке моделей; вместе с Парисом Канеллакисом он придумал ключевой алгоритм разрешения бисимуляции, отмеченный в 2021 году премией Дейкстры. Еврейские биографические источники называют его среди еврейских лауреатов этой премии.
Проверьте и углубитесь с помощью этих внешних источников.
Источник: Jinfo.org — Jewish recipients of the Dijkstra Prize
Эта страница выходит на семи языках и переведена с английского. Переводы проверяются, но ошибка может проскользнуть. Если вы заметили её на этой карточке — неверное слово, потерянную дату, фразу, которой нет в английском, — сообщите нам.
Смолка — заслуженный профессор Университета штата Нью-Йорк в Стони-Бруке, автор основополагающих работ по вероятностной алгебре процессов и проверке моделей; вместе с Парисом Канеллакисом он придумал ключевой алгоритм разрешения бисимуляции, отмеченный в 2021 году премией Дейкстры.
Источник: Jinfo.org — Jewish recipients of the Dijkstra Prize
Похожие деятели
Moshe Vardi
Baruch Awerbuch
Danny Dolev
Noam Nisan
