Скотт А. Смолка
 | В этой статье используются голые URL-адреса , которые неинформативны и уязвимы к порче ссылок . ( Август 2022 г. ) |
Скотт А. Смолка — заслуженный профессор SUNY на факультете компьютерных наук Университета Стоуни-Брук, Стоуни-Брук, Нью-Йорк.
Образование и карьера
[ редактировать ]Он получил степени бакалавра и магистра математики в Бостонском университете в 1975 и 1977 годах соответственно, а также степень доктора философии. Получил степень бакалавра компьютерных наук в Университете Брауна, Провиденс, Род-Айленд, в 1984 году. До прихода в Стоуни-Брук Смолка работал научным аналитиком в компании Aerospace Systems, Inc., Берлингтон, Массачусетс. Исследования Смолки охватывают формальное моделирование и анализ киберфизических и биологических систем, проверку моделей, алгебру процессов и проверку во время выполнения. Он, пожалуй, наиболее известен благодаря алгоритму, который он и Пэрис Канеллакис разработали для решения бисимуляции Робина Милнера. Смолка является членом Европейской ассоциации теоретической информатики (EATCS).
конференция и фестиваль . В 2019 году к его 65-летию была организована [1]
Избранные публикации
[ редактировать ]- Бергстра, Ян А., Альбан Понсе и Скотт А. Смолка, ред. Справочник по алгебре процессов. Эльзевир, 2001.
- Канеллакис, Пэрис К. и Скотт А. Смолка. «Выражения CCS, конечные процессы и три проблемы эквивалентности». Информация и расчеты 86, вып. 1 (1990): 43–68.
- ВанГлаббек, Роб Дж., Скотт А. Смолка и Бернхард Штеффен. «Реактивные, генеративные и стратифицированные модели вероятностных процессов». Информация и вычисления 121, вып. 1 (1995): 59–80.
- Джакалоне, Алессандро, Чи-Чанг Джоу и Скотт А. Смолка. «Алгебраические рассуждения для вероятностных параллельных систем». В Proc. Рабочая конференция ИФИП TC2 по концепциям и методам программирования. 1990.
- Рамакришна, Ю.С., Ч.Р. Рамакришнан, И.В. Рамакришнан, Скотт А. Смолка, Терренс Свифт и Дэвид С. Уоррен. «Эффективная проверка модели с использованием табличного разрешения». На Международной конференции по компьютерной проверке, стр. 143–154. Шпрингер, Берлин, Гейдельберг, 1997.
Награды и почести
[ редактировать ]- Премия Дейкстры 2021 года.
- Назначен заслуженным профессором SUNY в ноябре 2016 г. [2] [3]
- Стипендиат EATCS за «фундаментальный вклад в формальное моделирование и анализ» с февраля 2016 г. [3]
- Имя добавлено на Стену почета факультета Университета Стоуни-Брук, июль 2017 г. [4]
- Приглашенный докладчик совместного CONCUR-QEST-FORMATS 2016. [4]
- 2008–2009 Премия президента/канцлера SUNY за выдающиеся достижения в области стипендий и творческой деятельности. [5]
Ссылки
[ редактировать ]- ^ https://scottfest.conf.tuwien.ac.at/
- ^ «Профессор Скотт А. Смолка назначен почетным профессором SUNY | Кафедра компьютерных наук» . www.cs.stonybrook.edu . Проверено 22 июня 2023 г.
- ^ Перейти обратно: а б «Отдел CS Скотта А. Смолки» .
- ^ Перейти обратно: а б «QEST 2016: 13-я Международная конференция по количественной оценке систем» . www.qest.org .
- ^ «Награды канцлера за выдающиеся достижения» (PDF) .
Внешние ссылки
[ редактировать ] | Эта биографическая статья о компьютерном специалисте из США незавершена . Вы можете помочь Википедии, расширив ее . |