WikiDer > Майк Патерсон
Майк Патерсон | |
---|---|
Национальность | Британский |
Альма-матер | Кембриджский университет |
Известен | Алгоритмы и сложность |
Награды | Премия Дейкстры (2001) |
Научная карьера | |
Поля | Информатика |
Учреждения | Уорикский университет |
Тезис | Проблемы эквивалентности в модели вычислений (1967) |
Докторант | Дэвид Парк |
Докторанты | Лесли Валиант |
Майкл Стюарт Патерсон, является британцем специалист в области информатики, который был директором Центра дискретной математики и ее приложений (DIMAP) в Уорикский университет до 2007 г., заведующий кафедрой компьютерных наук с 2005 г.
Он получил докторскую степень в Кембриджском университете в 1967 году под руководством Дэвида Пака.[1] Он провел три года в Массачусетский технологический институт и переехал в Уорикский университет в 1971 году, где и остается Заслуженный профессор в отставке.[2]
Патерсон - эксперт по теоретическая информатика с более чем 100 публикациями, особенно дизайн и анализ алгоритмы и вычислительная сложность. Выдающаяся карьера Патерсона была отмечена Премия EATCS в 2006 г. и семинар в честь его 66-летия в 2008 г., включая участие нескольких Премия Тьюринга и Премия Гёделя лауреаты. Следующий семинар был проведен в 2017 году в честь его 75-летия вместе с семинаром, посвященным 10-летию центра DIMAP. За его работу над распределенных вычислений с Фишер и Линч, он получил Премия Дейкстры в 2001 году, а его работа с Дайером и Голдбергом по подсчету гомоморфизмов графов получила награду за лучшую работу на ИКАЛП конференции в 2006 году. Майк Патерсон получил Премия Лестера Р. Форда в 2010.[3] Он является Член Королевского общества с 2001 года и был президентом Европейская ассоциация теоретической информатики (EATCS). По словам президента EATCS Мориса Нива, Патерсон сыграл огромную роль в конце 1960-х годов в признании информатики как науки, «и эта теоретическая информатика, которая очень близка к математике, но отличается своей мотивацией и вдохновением, действительно является сложная и плодотворная область исследований ».[4]
Он также полон энтузиазма альпинист.
Смотрите также
Ссылки и недавние публикации
- ^ База данных генеалогии SIGACT
- ^ Майк Патерсон на Проект "Математическая генеалогия"
- ^ Патерсон, Майк; Цвик, Ури (2009). «Свес». Амер. Математика. Ежемесячно. 116 (1): 19–44. Дои:10.4169 / 193009709x469797.
- ^ Морис Нива, О зарождении теоретической информатики, тезисы выступления Патерсона, посвященного 66-летию. [1]
- М. Дайер, Л.А. Голдберг и М. Патерсон, О подсчете гомоморфизмов в ориентированных ациклических графах, Электронный коллоквиум по вычислительной сложности, Отчет TR05-121, октябрь 2005 г.
- Л. А. Гольдберг, М. Ялсениус, Р. Мартин и М. Патерсон, Улучшенные границы смешивания для антиферромагнитной модели Поттса на Z2, LMS J. Comput. Математика. 9 (2006) 1–20.
- Л. А. Голдберг, Р. Мартин и М. Патерсон, Сильное пространственное перемешивание для решетчатых графов с меньшим количеством цветов, SICOMP, 35(2) 486–517 (2005).
- М. Альберт и М. Патерсон, Границы скорости роста числа меандров, Труды 16-й ежегодной международной конференции по формальным степенным рядам и алгебраической комбинаторике, 2004 г., Университет Британской Колумбии (Ванкувер, Британская Колумбия, Канада).
- Л. А. Голдберг, М. Джеррам, С. Каннан и М. Патерсон, Ограничение пропускной способности протоколов задержки и подтверждения, SICOMP, 88 (2004) 313–331.
- М. Адлер, П. Беренбринк, Т. Фридецки, Л. А. Голдберг, П. Голдберг и М. Патерсон, Правило пропорционального справедливого планирования с хорошей производительностью в худшем случае, Proc. 15-го ежегодного ACM Симпозиум по параллельным алгоритмам и архитектурам (SPAA 2003), 101–108 (2003).
- Л. А. Голдберг, М. Джеррам и М. Патерсон, Вычислительная сложность спиновых систем с двумя состояниями, Случайные структуры и алгоритмы, 23 (2) 133–154 (2003).
- К. Ивама, А. Мацуура и М. Патерсон, Семья НФА, которым нужны 2п-альфа-детерминированные состояния, Теоретическая информатика 301(1–3), 451–462 (2003).
- Л. А. Голдберг, С. Келк и М. Патерсон, Сложность выбора H-раскраски (почти) равномерно случайным образом, SICOMP, 33 (2) 416–432 (2004), авторское право SIAM.
- М. Патерсон, Х. Шредер, О. Сикора и И. Врто, О перестановочной связи в полностью оптических кольцах, Письма о параллельной обработке 12 (1), 23–29 (2002).