Януш Бжозовский (ученый-компьютерщик)
Януш Бжозовский | |
|---|---|
 Бжозовский в 2018 году | |
| Рожденный | 10 мая 1935 г. |
| Умер | 24 октября 2019 г. 84 года) ( 24.10.2019 ) |
| Альма-матер | Принстонский университет |
| Известный | Производная Бжозовского Алгоритм Бжозовского |
| Научная карьера | |
| Поля | Информатика |
| Диссертация | Методы регулярных выражений для последовательных схем (1962) |
| Докторантура | Эдвард Дж. Маккласки |
Януш (Джон) Антони Бжозовский (10 мая 1935 - 24 октября 2019) был польско-канадским ученым-компьютерщиком и заслуженным профессором. [1] в Ватерлоо Университета Школе компьютерных наук Дэвида Р. Черитона . [2]
В 1962 году Бжозовский получил докторскую степень в области электротехники в Принстонском университете под руководством Эдварда Дж. Маккласки . Темой диссертации были методы регулярных выражений для последовательных схем . С 1967 по 1996 год он был профессором Университета Ватерлоо . Он известен своим вкладом в математическую логику , теорию цепей и теорию автоматов .
Достижения в исследованиях
[ редактировать ]Бжозовский работал над регулярными выражениями и синтаксическими полугруппами формальных языков . [3] Результатом стали «Характеристики локально проверяемых событий», написанные совместно с Имре Симоном , которые оказали аналогичное влияние. [4] о развитии алгебраической теории формальных языков как Марселя-Поля Шютценбергера характеристики бесзвездных языков .
Сегодня в этой области как минимум четыре концепции носят имя Бжозовского в честь его вклада: первая — это гипотеза Бжозовского. [5] о регулярности несчетных занятий. Во-вторых, алгоритм Бжозовского , [6] концептуально простой алгоритм выполнения DFA-минимизации . В-третьих, производная Бжозовского от формального языка или обобщенного регулярного выражения . В-четвертых, в справочнике Эйленберга по теории автоматов есть глава, посвященная так называемой иерархии Бжозовского. [7] внутри языков без звездочек , также известных как иерархия глубины точек . Примечательно, что Бжозовский был не только соавтором статьи, которая определила иерархию глубины точек и подняла вопрос, является ли эта иерархия строгой, [8] Позже он также был соавтором статьи, решающей эту проблему примерно через десять лет. [9] Иерархия Бжозовского приобрела дальнейшее значение после того, как Вольфганг Томас обнаружил связь между алгебраической концепцией глубины точки и глубиной чередования кванторов в логике первого порядка с помощью игр Эренфойхта – Фрэссе . [10]
Он получил следующие академические награды и почести:
- Премия NSERC за научный обмен с Францией (1974–1975)
- Стипендия Японского общества содействия научным исследованиям (1984)
- Почетная грамота Ассоциации компьютерных исследований за выдающийся вклад и заслуги в качестве члена Совета директоров CRA (1992 г.)
- Заслуженный профессор Университета Ватерлоо , Канада (1996 г.) [11]
- Медаль за заслуги перед Люблинским католическим университетом, Польша (2001 г.)
- IBM Canada Канадский пионер в области вычислений (2005 г.) [12]
- Роль теории в информатике, однодневная конференция в честь 80-летия Джона Бжозовского (2015 г.) [13]
- Роль теории в информатике: эссе, посвященные Янушу Бжозовскому, World Scientific (2017) [14]
- Премия за выслугу лет, Computer Science Canada/Informatique Canada (CS-CAN/INFO-CAN) (2016) [15]
- Премия CIAA 2017 Шэн Юй за лучшую работу по сложности правильных префиксно-выпуклых регулярных языков Дж. Бжозовского и К. Синнамона [16]
- Премия CIAA 2018 Шэн Юй за лучшую работу по государственной сложности сборки перекрытий, авторы Дж. Бжозовски, Л. Кари , Б. Ли, М. Шикула [17]
Научные статьи
[ редактировать ]- Дж. А. Бжозовский: Производные регулярных выражений, Журнал ACM 11 (4): 481–494 (1964).
- Дж. А. Бжозовский, И. Саймон: характеристики локально проверяемых событий, FOCS 1971, стр. 166–176.
- Р. С. Коэн, Дж. А. Бжозовский: Точечная глубина событий без звезд. Журнал компьютерных и системных наук 5 (1): 1–16 (1971)
- Дж. А. Бжозовский, Р. Кнаст: Иерархия беззвездных языков бесконечна. Журнал компьютерных и системных наук 16 (1): 37–55 (1978).
Книги
[ редактировать ]- Дж. А. Бжозовский, М. Йоэли: Цифровые сети. Прентис-Холл, 1976 г.
- Дж. А. Бжозовский, К.-Й. Х. Зегер: Асинхронные схемы. Спрингер-Верлаг, 1995 г.
Примечания
[ редактировать ]- ^ «Джон Бжозовский» . Школа компьютерных наук Дэвида Р. Черитона . Архивировано из оригинала 22 декабря 2018 года . Проверено 21 декабря 2018 г.
- ^ «Некролог Януша БЖОЗОВСКОГО (1935–2019) – Ватерлоо, Онтарио – Глобус и почта» . Legacy.com .
- ^ Пин (1997)
- ^ Дикерт и др. (2008)
- ^ де Лука и Вариккио (1997)
- ^ Шалит (2009), гл. 3.10
- ^ Эйленберг (1974)
- ^ Коэн и Бжозовский (1971)
- ^ Бжозовский и Кнаст (1979)
- ^ Томас (1982)
- ^ «Профиль Джона Бжозовского» . Архивировано из оригинала 24 ноября 2012 г. Проверено 14 июля 2009 г.
- ^ Пионеры вычислительной техники в Канаде, 2005 г., http://individual.utoronto.ca/klyons/files/pioneers.pdf Проверено 2 января 2019 г.
- ^ «Бжозовский 80: Роль теории в информатике» . Школа компьютерных наук Дэвида Р. Черитона . 24 июня 2015 г. Проверено 21 декабря 2018 г.
- ^ Константинидис, Ставрос; Морейра, Нельма; Рейс, Рожерио; Шалит, Джеффри (2017). «Роль теории в информатике: очерки, посвященные Янушу Бжозовскому» . Всемирная научная . дои : 10.1142/10239 . ISBN 978-981-314-819-2 . Проверено 29 ноября 2021 г.
- ^ «Награда за выслугу | 2016» . Информатика Канады/Информация Канады (CS-CAN/INFO-CAN) . 2016 . Проверено 21 декабря 2018 г.
- ^ «22-я Международная конференция «Внедрение и применение автоматов | Премия Шэн Юй 2017»» . Конференция по внедрению и применению автоматов (CIAA 2017) . 2017 . Проверено 21 декабря 2018 г.
- ^ «23-я Международная конференция по внедрению и применению автоматов | Премия Шэн Юй 2018» . 23-я Международная конференция по внедрению и применению автоматов (CIAA 2018) . 23 августа 2018 года . Проверено 21 декабря 2018 г.
Ссылки
[ редактировать ]- С. Эйленберг, Автоматы, языки и машины , Том Б. ISBN 0-12-234001-9
- У. Томас, Классификация регулярных событий в символической логике. Дж. Компьютер. Сист. наук. 25 (3): 360–376 (1982).
- Ж.-Э. Пин , Синтаксические полугруппы , Глава 10 в «Справочнике по теории формального языка», Vol. 1, Г. Розенберг и А. Саломаа (ред.), Springer Verlag, (1997) Vol. 1, стр. 679–746.
- А. де Лука и С. Вариккио, Условия регулярности и конечности , глава 11 в «Справочнике по теории формального языка», Vol. 1, Г. Розенберг и А. Саломаа (ред.), Springer Verlag, (1997) Vol. 1, стр. 747–810.
- В. Дикерт, П. Гастин, М. Куфляйтнер, Обзор небольших фрагментов логики первого порядка над конечными словами. Межд. Дж. Нашел. Вычислить. наук. 19 (3): 513–548 (2008).
- Дж. Шалит, Второй курс формальных языков и теории автоматов , Cambridge University Press (2009)
Внешние ссылки
[ редактировать ]- Профиль Януша Бжозовского, Университет Ватерлоо. Архивировано 24 ноября 2012 г. в Wayback Machine.
- Персональный сайт Бжозовского. Архивировано 30 октября 2019 г. в Wayback Machine в Университете Ватерлоо.
- Зал славы теории вычислений. Архивировано 30 октября 2019 г. в Wayback Machine.
- Януш А. Бжозовский на DBLP библиографическом сервере
- Иерархии конкатенации, Жан-Эрик Пин
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |