Mike Paterson

http://dbpedia.org/resource/Mike_Paterson an entity of type: Thing

Michael Stewart « Mike » Paterson, né en 1942, est un informaticien théoricien britannique, spécialiste en conception et analyse des algorithmes et en théorie de la complexité. Il est aussi réputé comme inventeur de jeux, comme les vers de Paterson ou les sprouts. rdf:langString

Michael S. Paterson, comúnmente conocido como Mike Paterson, es un informático teórico británico, director del Centre for Discrete Mathematics and its Applications (Centro de Matemáticas Discretas y sus Aplicaciones) en el Departamento de Ciencias de Computación de la Universidad de Warwick, y que estuvo además a cargo de este departamento en 2005. Recibió su doctorado en la Universidad de Cambridge en 1967, bajo la supervisión de , y estuvo tres años en el MIT antes de trasladarse a Warwick, en 1971. Paterson, además, es un entusiasta montañista. rdf:langString

Michael Stewart „Mike“ Paterson (* 1942) ist ein britischer Informatiker. Paterson studierte an der Universität Cambridge, wo er 1967 bei promoviert wurde (Equivalence problems in a model of computation). Als Post-Doktorand war er am Massachusetts Institute of Technology und ab 1971 war er an der University of Warwick, wo er Professor für Informatik war und bis 2007 das Centre for Discrete Mathematics and its Applications leitete. Er befasst sich insbesondere mit Design und Analyse von Algorithmen und Komplexitätstheorie. Er ist ein begeisterter Bergsteiger. rdf:langString

Michael Stewart Paterson, is a British computer scientist, who was the director of the Centre for Discrete Mathematics and its Applications (DIMAP) at the University of Warwick until 2007, and chair of the department of computer science in 2005. He received his Doctor of Philosophy (Ph.D.) from the University of Cambridge in 1967, under the supervision of David Park. He spent three years at Massachusetts Institute of Technology (MIT) and moved to University of Warwick in 1971, where he remains Professor Emeritus. Paterson is also an enthusiastic mountaineer. rdf:langString

Michael Stewart Paterson (1942) é um cientista da computação britânico, que foi diretor do Centre for Discrete Mathematics and its Applications (DIMAP) na Universidade de Warwick até 2007. Obteve um doutorado na University of Cambridge em 1967, orientado por . Passou três anos no Instituto de Tecnologia de Massachusetts (MIT) e foi para a Universidade de Warwick em 1971, onde é professor emérito. rdf:langString

rdfs:label

rdf:langString Mike Paterson

rdf:langString Michael Stewart Paterson

foaf:name

rdf:langString Mike Paterson

dbpprop:name

rdf:langString Mike Paterson

dbpedia-owl:wikiPageID

xsd:integer 17730420

dbpedia-owl:wikiPageRevisionID

xsd:integer 1018715221

dbpprop:thesisTitle

rdf:langString Equivalence Problems in a Model of Computation

dbpprop:thesisYear

xsd:integer 1967

dbpprop:knownFor

rdf:langString Algorithms, complexity

dbpprop:nationality

rdf:langString British

dbpedia-owl:abstract

rdf:langString Michael Stewart „Mike“ Paterson (* 1942) ist ein britischer Informatiker. Paterson studierte an der Universität Cambridge, wo er 1967 bei promoviert wurde (Equivalence problems in a model of computation). Als Post-Doktorand war er am Massachusetts Institute of Technology und ab 1971 war er an der University of Warwick, wo er Professor für Informatik war und bis 2007 das Centre for Discrete Mathematics and its Applications leitete. Er befasst sich insbesondere mit Design und Analyse von Algorithmen und Komplexitätstheorie. Zu seinen Doktoranden zählt Leslie Valiant. 2001 wurde er Präsident der European Association for Theoretical Computer Science (EATCS). 2006 erhielt er den EATCS-Award. 2001 erhielt er für Arbeiten über Verteiltes Rechnen mit Michael J. Fischer und Nancy Lynch den Dijkstra-Preis. Seit 1991 ist er Mitglied der Academia Europaea. 2001 wurde er Fellow der Royal Society. 2011 war er einer der Empfänger des David P. Robbins Prize für eine Arbeit, die das Problem der Anzahl übereinandergestapelter Bausteine mit Überhang behandelte. Mit William Thurston und anderen ist er Ko-Autor eines Buches über automatische Gruppen. Er ist ein begeisterter Bergsteiger.

rdf:langString Michael S. Paterson, comúnmente conocido como Mike Paterson, es un informático teórico británico, director del Centre for Discrete Mathematics and its Applications (Centro de Matemáticas Discretas y sus Aplicaciones) en el Departamento de Ciencias de Computación de la Universidad de Warwick, y que estuvo además a cargo de este departamento en 2005. Recibió su doctorado en la Universidad de Cambridge en 1967, bajo la supervisión de , y estuvo tres años en el MIT antes de trasladarse a Warwick, en 1971. Paterson posee más de 100 publicaciones, especialmente sobre el diseño y análisis de algoritmos y complejidad computacional. La distinguida carrera de Paterson fue reconocida con el premio EATCS Award en 2006 y se realizó una conferencia por su cumpleaños número 66 el año 2008, que incluyó el apoyo de muchos galardonados con el Premio Turing y el Premio Gödel. Por su trabajo en computación distribuida, junto con y Nancy Lynch, recibió el Premio Dijkstra en 2001, y su trabajo con Dyer y Goldberg en enumeración de homomorfismos de grafos recibió el premio al mejor artículo científico en la conferencia de 2006. Paterson es miembro honorífico de la Royal Society desde 2001, y ha sido presidente de la European Association for Theoretical Computer Science (EATCS). Según el presidente de la EATCS, Maurice Nivat, Paterson jugó un importante papel a fines de la década de los 60's en el reconocimiento de las ciencias de la computación como ciencia, y como un «área muy cercana a las matemáticas, pero distinta en su motivación e inspiración, que se constituye como un campo de investigación desafiante y fructífero». Paterson, además, es un entusiasta montañista.

rdf:langString Michael Stewart Paterson, is a British computer scientist, who was the director of the Centre for Discrete Mathematics and its Applications (DIMAP) at the University of Warwick until 2007, and chair of the department of computer science in 2005. He received his Doctor of Philosophy (Ph.D.) from the University of Cambridge in 1967, under the supervision of David Park. He spent three years at Massachusetts Institute of Technology (MIT) and moved to University of Warwick in 1971, where he remains Professor Emeritus. Paterson is an expert on theoretical computer science with more than 100 publications, especially the design and analysis of algorithms and computational complexity. Paterson's distinguished career was recognised with the EATCS Award in 2006, and a workshop in honour of his 66th birthday in 2008, including contributions of several Turing Award and Gödel Prize laureates. A further workshop was held in 2017 in honour of his 75th birthday, co-located with the workshop for the 10th anniversary of the DIMAP centre. For his work on distributed computing with Fischer and Lynch, he received the Dijkstra Prize in 2001, and his work with Dyer and Goldberg on counting graph homomorphisms received a best paper award at the ICALP conference in 2006. Mike Paterson received a Lester R. Ford Award in 2010. He is a Fellow of the Royal Society since 2001 and been president of the European Association for Theoretical Computer Science (EATCS). According to EATCS president Maurice Nivat, Paterson played a great role in the late 1960s in the recognition of computer science as a science, "and that theoretical computer science, which is very close to mathematics but distinct in its motivation and inspiration, is indeed a challenging and fruitful field of research." Paterson is also an enthusiastic mountaineer.

rdf:langString Michael Stewart « Mike » Paterson, né en 1942, est un informaticien théoricien britannique, spécialiste en conception et analyse des algorithmes et en théorie de la complexité. Il est aussi réputé comme inventeur de jeux, comme les vers de Paterson ou les sprouts.

rdf:langString Michael Stewart Paterson (1942) é um cientista da computação britânico, que foi diretor do Centre for Discrete Mathematics and its Applications (DIMAP) na Universidade de Warwick até 2007. Obteve um doutorado na University of Cambridge em 1967, orientado por . Passou três anos no Instituto de Tecnologia de Massachusetts (MIT) e foi para a Universidade de Warwick em 1971, onde é professor emérito. Paterson é especialista em ciência da computação teórica com mais de 100 publicações, especialmente o projeto e análise de algoritmos e complexidade computacional. A carreira de destaque de Paterson foi reconhecida com o Prêmio EATCS de 2006 da e um workshop em comemoração a seu aniversário de 66 anos em 2008, incluindo contribuições de diversos laureados com o Prêmio Turing e o Prêmio Gödel. Um outro workshop foi organizado em 2017 em comemoração a seu aniversário de 75 anos, simultaneamente com um workshop pelo aniversário de 10 anos do DIMAP. Por seu trabalho sobre sistema de processamento distribuído com Michael John Fischer e Nancy Lynch recebeu o Prêmio Dijkstra de 2001, e seu trabalho com Dyer e Goldberg sobre a contagem de homomorfismos de grafos recebeu um best paper award na conferência ICALP (International Colloquium on Automata, Languages and Programming) em 2006. Mike Paterson recebeu um Prêmio Lester R. Ford em 2010. É Membro da Royal Society desde 2001 e foi presidente da (EATCS). De acordo com o presidente da Maurice Nivat, Paterson teve um grande papel nofinal da década de 1960 no reconhecimento da computação como uma ciência, "and that theoretical computer science, which is very close to mathematics but distinct in its motivation and inspiration, is indeed a challenging and fruitful field of research."

data from the linked data cloud