Майк Патерсон | |
---|---|
Рожденный | 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-летия центра DIMAP. За свою работу по распределенным вычислениям с Фишером и Линчем он получил премию Дейкстры в 2001 году, а его работа с Дайером и Голдбергом по подсчету гомоморфизмов графов получила награду за лучшую статью на конференции ICALP в 2006 году. Майк Патерсон получил премию Лестера Р. Форда в 2010 году. [3] Он является членом Королевского общества с 2001 года и президентом Европейской ассоциации теоретической информатики (EATCS). По словам президента EATCS Мориса Нива , Патерсон сыграл большую роль в конце 1960-х годов в признании информатики как науки, «и эта теоретическая информатика, которая очень близка к математике, но отличается своей мотивацией и вдохновением, действительно является сложной и плодотворной областью исследований». [4]
Патерсон также является страстным любителем альпинизма .