Фред Б. Шнайдер
Фред Б. Шнайдер | |
|---|---|
| Рожденный | 7 декабря 1953 г. |
| Национальность | Американский |
| Альма-матер | Университет Стоуни-Брук |
| Известный | Распределенные вычисления |
| Награды | Премия IEEE Эмануэля Р. Пиоре (2012 г.) ОДНАКО (2011) Сотрудник IEEE (2008 г.) Сотрудник ACM (1995) Сотрудник AAAS (1992) |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Корнелльский университет |
| Докторантура | Артур Джей Бернштейн |
Фред Барри Шнайдер (родился 7 декабря 1953 г. [1] ) — американский учёный-компьютерщик , базирующийся в Корнеллском университете , где он является профессором компьютерных наук имени Сэмюэля Б. Эккерта. [2] [3] Он опубликовал публикации в различных областях, включая научную политику , кибербезопасность и распределенные системы . [4] Его исследования находятся в области параллельных и распределенных систем для высокоинтегральных и критически важных приложений.
Шнайдер получил степень бакалавра наук. степень инженера Корнелльского университета в 1975 году, а затем степень доктора философии. из Университета Стоуни-Брук , где он был студентом Артура Дж. Бернштейна. Осенью 1978 года он поступил на факультет Корнелльского университета.
Он был главным редактором журнала Distributed Computing и заместителем главного редактора журнала IEEE Security and Privacy . Он также редактировал обзоры ACM Computing Surveys , High Integrity Systems , IEEE Transactions on Dependable и Secure Computing и письма по обработке информации .
Шнайдер — член Американской ассоциации содействия развитию науки (1992 г.), Ассоциации вычислительной техники (1995 г.), Института инженеров по электротехнике и электронике (2008 г.) и Норвежской академии технологических наук . [5] Он также был избран членом Национальной инженерной академии в 2011 году за вклад в разработку надежных и безопасных компьютерных систем.
В 1996 году Шнайдер был назначен профессором по особым поручениям Университета Тромсё , Норвегия. [6] В 2003 году ему была присвоена почетная степень доктора наук Университета Ньюкасла в Великобритании. [7]
Он был назван лауреатом премии IEEE Эмануэля Р. Пиоре за 2012 год. [8]
В 2018 году он и Боуэн Альперн получили премию Дейкстры за свою статью 1985 года «Определение живости». [9]
Награды
[ редактировать ]- Сотрудник Американской ассоциации развития науки (1992 г.) [10]
- Товарищ, АКМ [11] [12] (1995)
- Профессор по особым поручениям Университета Тромсё, Тромсё, Норвегия (1996 – настоящее время) ТРЕБУЕТСЯ СПРАВКИ
- Доктор наук (honoris causa), Университет Ньюкасла, Великобритания (май 2003 г.), [13] заявление, зачитанное оратором [14]
- Премия Зала славы ACM SIGOPS (2007) [15]
- Сотрудник Института инженеров по электротехнике и электронике (2008 г.) [16]
- Член Норвежской академии технологических наук (2010 г.) [17]
- Член Национальной инженерной академии (2011 г.) [18]
- Премия IEEE Эмануэля Р. Пиоре (2012 г.)
- за заслуги Премия Ассоциации компьютерных исследований (2016 г.) [19]
- Премия Жан-Клода Лапри в области надежных вычислений (2017) [20]
- Член Американской академии искусств и наук (2017 г.) [21]
- Премия Эдсгера В. Дейкстры в области распределенных вычислений (2018)
- Выдающийся доклад симпозиума IEEE Computer Security Foundations (2021 г.) [22]
Книги
[ редактировать ]- Логический подход к дискретной математике . Нью-Йорк: Springer-Verlag , 1993. (С Дэвидом Грайсом .)
- О параллельном программировании . Нью-Йорк: Springer-Verlag, 1997.
- Доверие к киберпространству , National Academy Press , 1998. (Редактор).
Ссылки
[ редактировать ]- ^ [ мертвая ссылка ] http://www.osti.gov/eprints/topicpages/documents/record/835/1607302.html Архивировано 5 марта 2016 г. в Wayback Machine.
- ^ Фред Б. Шнайдер — биография , Корнелльский университет , США.
- ^ Бааба Андам, Фред Б. Шнайдер — Системы сетевой безопасности: построение лучшей защиты , Факультет вычислительной техники и информационных наук, Корнельский университет, США.
- ^ Публикации Фреда Б. Шнайдера , Корнельский университет, США.
- ^ Медлеммер , Норвежская академия технологических наук , получено 6 апреля 2020 г.
- ^ Фред Б. Шнайдер — биография. Архивировано 7 июня 2011 г. в Wayback Machine , EDUCAUSE , США.
- ^ «Университет Ньюкасла, Школа вычислительной техники, почетная степень» . Архивировано из оригинала 15 ноября 2017 г. Проверено 15 ноября 2017 г.
- ^ «Получатели премии IEEE Эмануэля Р. Пиоре» (PDF) . IEEE. Архивировано из оригинала (PDF) 17 февраля 2013 года . Проверено 20 марта 2021 г.
- ^ Премия Эдсгера В. Дейкстры 2018 г. в области распределенных вычислений , Принципы распределенных вычислений ACM 2018 г.
- ^ «Исторические товарищи» . АААС . 1992 год . Проверено 25 августа 2022 г.
- ^ «Стипендиаты ACM» . АКМ . 1995 . Проверено 26 августа 2022 г.
- ^ «Фред Б. Шнайдер: научный сотрудник ACM» . АКМ . 1995 . Проверено 26 августа 2022 г.
- ^ «Почетные степени в области компьютерных наук» . Университет Ньюкасла . 2003 . Проверено 25 августа 2022 г.
- ^ «ФРЕД БАРРИ ШНАЙДЕР: DSC» (PDF) . 2003 . Проверено 26 августа 2022 г.
- ^ «Премия Зала славы» . АСМ СИГОПС . 2007 . Проверено 26 августа 2022 г.
- ^ «Справочник участников IEEE» . ИИЭЭ . 2008 год . Проверено 26 августа 2022 г.
- ^ Медлеммер , Норвежская академия технологических наук , получено 26 августа 2020 г.
- ^ «Справочник членов IEEE» . НАЭ . 2011 . Проверено 26 августа 2022 г.
- ^ «Награда за заслуги перед CRA» . КРА . 2016 . Проверено 25 августа 2022 г.
- ^ «ИФИП РГ 10.4 по надежным вычислениям и отказоустойчивости» . Рабочая группа ИФИП 10.4. 2017 . Проверено 26 августа 2022 г.
- ^ «Справочник участников» . Американская академия искусств и наук . 2017 . Проверено 25 августа 2022 г.
- ^ «34-й симпозиум IEEE по основам компьютерной безопасности» . ИИЭЭ . 2021 . Проверено 25 августа 2022 г.
Внешние ссылки
[ редактировать ]- Домашняя страница Фреда Б. Шнайдера
- Фред Барри Шнайдер в проекте «Математическая генеалогия»
- Фред Б. Шнайдер на DBLP библиографическом сервере
- Подробности списка публикаций Фреда Б. Шнайдера. Архивировано 12 марта 2012 г. в Wayback Machine , Scientific Commons.
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
- 1953 года рождения
- Живые люди
- Выпускники Корнеллского университета
- Выпускники Университета Стоуни-Брук
- Американские ученые-компьютерщики
- Преподаватели Корнеллского университета
- Американские авторы учебников
- Американские писатели-мужчины научной литературы
- Формальные методы люди
- Исследователи распределенных вычислений
- Члены Американской ассоциации содействия развитию науки
- 1995 г. Члены Ассоциации вычислительной техники.
- Члены IEEE
- Писатели по информатике
- Члены Национальной инженерной академии США
- Члены Норвежской академии технологических наук