Майк Патерсон
Майк Патерсон | |
|---|---|
| Рожденный | 1942 (81–82 года) |
| Национальность | Британский |
| Образование | доктор философии , Кембриджский университет (1967) |
| Известный | Алгоритмы , сложность |
| Награды | Премия Дейкстры (2001). Премия EATCS (2006) |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Массачусетский технологический институт Университет Уорика |
| Диссертация | Проблемы эквивалентности в модели вычислений (1967) |
| Докторантура | Дэвид Парк |
| Докторанты | Лесли Валиант |
Майкл Стюарт Патерсон — британский ученый-компьютерщик , который до 2007 года был директором Центра дискретной математики и ее приложений (DIMAP) в Уорикском университете и заведующим кафедрой информатики в 2005 году.
Он получил степень доктора философии (Ph.D.) в Кембриджском университете в 1967 году под руководством Дэвида Парка . [ 1 ] Он провел три года в Массачусетском технологическом институте (MIT) и в 1971 году перешёл в Уорикский университет, где остаётся почётным профессором . [ 2 ]
Патерсон — эксперт в области теоретической информатики , имеющий более 100 публикаций, особенно в области разработки и анализа алгоритмов и сложности вычислений . Выдающаяся карьера Патерсона была отмечена премией EATCS в 2006 году и семинаром в честь его 66-летия в 2008 году, включая вклад нескольких лауреатов премий Тьюринга и премии Гёделя . Следующий семинар был проведен в 2017 году в честь его 75-летия и совмещен с семинаром, посвященным 10-летию центра ДИМАП. За свою работу по распределенным вычислениям с Фишером и Линчем он получил премию Дейкстры в 2001 году, а его работа с Дайером и Голдбергом по подсчету гомоморфизмов графов получила награду за лучшую статью на конференции ICALP в 2006 году. Майк Патерсон получил премию Лестера Р. Форда. Премия в 2010 году. [ 3 ] Он является членом Королевского общества с 2001 года и президентом Европейской ассоциации теоретической информатики (EATCS). По словам президента EATCS Мориса Нивата , Патерсон сыграл большую роль в конце 1960-х годов в признании информатики как науки, «и эта теоретическая информатика, которая очень близка к математике, но отличается по своей мотивации и вдохновению, действительно является сложная и плодотворная область исследований». [ 4 ]
Патерсон также является страстным альпинистом .
Избранные публикации
[ редактировать ]- М. Дайер, Л. А. Голдберг и М. Патерсон, О подсчете гомоморфизмов направленных ациклических графов, Электронный коллоквиум по вычислительной сложности, отчет TR05-121, октябрь 2005 г.
- Л. А. Гольдберг, М. Ялсениус, Р. Мартин и М. Патерсон, Улучшенные границы смешивания для антиферромагнитной модели Поттса на Z 2 , 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 н -альфа-детерминированные состояния, Theoretical Computer Science 301(1–3), 451–462 (2003).
- Л. А. Голдберг, С. Келк и М. Патерсон, Сложность выбора H-раскраски (почти) равномерно случайным образом, SICOMP, 33(2) 416–432 (2004), авторские права SIAM.
- М. Патерсон, Х. Шредер, О. Сикора и И. Врто, О перестановочной связи в полностью оптических кольцах, Parallel Processing Letters 12 (1), 23–29 (2002).
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ База генеалогических данных SIGACT
- ^ Майк Патерсон в проекте «Математическая генеалогия»
- ^ Патерсон, Майк; Цвик, Ури (2009). «Перевес» . Американский математический ежемесячник . 116 (1): 19–44. дои : 10.4169/193009709x469797 .
- ^ Морис Ниват, О зарождении теоретической информатики , отрывок из выступления, состоявшегося в честь 66-летия Патерсона. [1]
Внешние ссылки
[ редактировать ]- Официальный сайт Уорикского университета
- Семинар в честь 66-летия профессора Майка Патерсона
- Мастер-класс в честь 75-летия Майка Патерсона
- Майк Патерсон на DBLP библиографическом сервере
